Return a normal number y
and exponent exp
satisfying x = y * 2^exp
.
Double-precision floating-point positive infinity.
Convert a double-precision floating-point number to the nearest single-precision floating-point number.
Double-precision floating-point negative infinity.
Split a double-precision floating-point number into a higher order word and a lower order word.