Split a double-precision floating-point number into a higher order word and a lower order word.
Return an unsigned 32-bit integer corresponding to the more significant 32 bits of a double-precision floating-point number.
Create a double-precision floating-point number from a higher order word and a lower order word.
High word mask for the exponent of a double-precision floating-point number.
High word mask for excluding the sign bit of a double-precision floating-point number.