Specifies a signed, 64-bit IEEE 754 floating point number type. This is the only numerical type, and must be used for integers and fractional numbers.