add support for IEEE 32-bit floating point