32-bit floating point