IEEEReal
structureThe IEEEReal structure defines types associated with an IEEE implementation of floating-point numbers. In addition, it provides control for the floating-point hardware's rounding mode. Refer to the IEEE standard 754-1985 and the ANSI/IEEE standard 854-1987 for additional information.
signature IEEE_REAL
structure IEEEReal
: IEEE_REAL
exception Unordered
datatype real_order = LESS | EQUAL | GREATER | UNORDERED
datatype nan_mode = QUIET | SIGNALLING
datatype sign_mode = NEG | POS
datatype float_class
= NAN of nan_mode
| INF of sign_mode
| ZERO of sign_mode
| NORMAL of sign_mode
| SUBNORMAL of sign_mode
datatype rounding_mode
= TO_NEAREST
| TO_NEGINF
| TO_POSINF
| TO_ZERO
val setRoundingMode : rounding_mode -> unit
val getRoundingMode : unit -> rounding_mode
exception Unordered
datatype real_order
datatype nan_mode
datatype sign_mode
datatype float_class
datatype rounding_mode
setRoundingMode mode
getRoundingMode ()
REAL, MATH
Last Modified March 5, 1996
Copyright © 1996 AT&T