signature IEEE_REAL structure IEEEReal : IEEE_REAL
The Standard ML Basis' IEEEReal structure.
See also: Real
Imported implicitly.
signature IEEE_REAL = sig exception Unordered datatype real_order = LESS | EQUAL | GREATER | UNORDERED datatype float_class = NAN | INF | ZERO | NORMAL | SUBNORMAL datatype rounding_mode = TO_NEAREST | TO_NEGINF | TO_POSINF | TO_ZERO type decimal_approx = {kind : float_class, sign : bool, digits : int list, exp : int} end
Like the Standard ML Basis' IEEEReal structure.
Limitations: The following standard functions are currently missing:
Indicates that two values are incomparable with respect to a partial ordering. Equal to General.Unordered.