A standard 64 bit float value as defined in the IEEE754r revision of the ANSI/IEEE Std 754-1985 document.