Return an unsigned 32-bit integer corresponding to the IEEE 754 binary representation of a single-precision floating-point number.
