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.
Set the more significant 32 bits of a double-precision floating-point number.
Set the less significant 32 bits of a double-precision floating-point number.
Return an unsigned 32-bit integer corresponding to the less significant 32 bits of a double-precision floating-point number.