Dbl Packages

Maximum safe nth factorial when stored in double-precision floating-point format.

Maximum safe nth Fibonacci number when stored in double-precision floating-point format.

Base 2 logarithm of Euler's number.

Maximum double-precision floating-point number.

The maximum base 10 exponent for a double-precision floating-point number.

Apéry's constant.

Compute the relative difference of two real numbers in units of double-precision floating-point epsilon.

Base double-precision floating-point number assert functions.

Create a double-precision floating-point number from a literal bit representation.

Convert a signed 64-bit integer byte array to a double-precision floating-point number.

Create a double-precision floating-point number from 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.

Return an unsigned 32-bit integer corresponding to the less significant 32 bits of a double-precision floating-point number.

Return a normal number `y` and exponent `exp` satisfying `x = y * 2^exp`.

Convert a double-precision floating-point number to the nearest single-precision floating-point number.

Convert a double-precision floating-point number to a signed 32-bit integer.

Convert a double-precision floating-point number to an unsigned 32-bit integer.

Split a double-precision floating-point number into a higher order word and a lower order word.

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.