64 bit floating point
<?xml version="1.0" encoding="utf-16"?> <xsd:element name="y" type="xsd:double"> <xsd:annotation> <xsd:documentation>64 bit floating point</xsd:documentation> </xsd:annotation> </xsd:element>