float_parts/4

Documentation
- Reference manual
  - Built-in Predicates
    - Arithmetic
      - General purpose arithmetic
        
        IEEE 754 floating point arithmetic
        
        float_class/2
        
        float_parts/4
        
        bounded_number/3
- Packages

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

History

Introduced in 8.1.26 (👉1c49e78) float_parts/4: float_parts(+Float, -Mantissa, -Base, -Exponent)