Individual 64-bit floating point value.
<xsd:element name="Float64" type="Float64Type"></xsd:element>