Availability:built-in
[det]float_parts(+Float,
-Mantissa, -Base, -Exponent)True when Mantissa is the normalized fraction of Float,
Base is the radix and Exponent is the
exponent. This uses the C function frexp(). If Float
is NaN or ±Inf
Mantissa has the same value and Exponent is 0
(zero). In the current implementation Base is always 2. The
following relation is always true:
Float =:= Mantissa × Base^Exponent