Xsd double. There is a type="xs:positiveInteger" datatype in XSD but no positive...