Module mpmfnum::ieee754

Floating-point numbers as described in the IEEE 754-2019 standard.

This module implements floating-point numbers with IEEE754Context. The associated storage type is IEEE754 which represents an IEEE 754 style floating-point number.

Modules

• ops

Structs

• Exceptions
  Exception flags to signal certain properties of the rounded result.
• IEEE754
  The IEEE 754 floating-point format.
• IEEE754Context
  Rounding contexts for IEEE 754 floating-point numbers.