Float64

A 64-bit floating point type.