64-bit floats