Split a double-precision floating-point number into a normalized fraction and an integer power of two.
Multiply a double-precision floating-point number by an integer power of two.
Maximum safe double-precision floating-point integer.
The minimum biased base 2 exponent for a subnormal double-precision floating-point number.
Create a double-precision floating-point number from a higher order word and a lower order word.
The bias of a double-precision floating-point number's exponent.
The maximum biased base 2 exponent for a subnormal double-precision floating-point number.
Splits a double-precision floating-point number into a normalized fraction and an integer power of two.
Multiplies a double-precision floating-point number by an integer power of two.