1 signature IEEE_REAL_1997 =
4 datatype real_order = LESS | EQUAL | GREATER | UNORDERED
5 datatype nan_mode = QUIET | SIGNALLING
12 datatype rounding_mode =
17 val setRoundingMode: rounding_mode -> unit
18 val getRoundingMode: unit -> rounding_mode
19 type decimal_approx = {kind: float_class, sign: bool,
20 digits: int list, exp: int}
21 val toString: decimal_approx -> string
22 val fromString: string -> decimal_approx option