5 datatype real_order = LESS | EQUAL | GREATER | UNORDERED
14 datatype rounding_mode =
20 type decimal_approx = {class: float_class,
25 val fromString: string -> decimal_approx option
26 val getRoundingMode: unit -> rounding_mode
27 val scan: (char, 'a) StringCvt.reader
28 -> (decimal_approx, 'a) StringCvt.reader
29 val setRoundingMode: rounding_mode -> unit
30 val toString: decimal_approx -> string
33 signature IEEE_REAL_EXTRA =
37 val withRoundingMode: rounding_mode * (unit -> 'a) -> 'a