Module Std.Num
include Num
val (+/) : num -> num -> numval add_num : num -> num -> numval minus_num : num -> numval (-/) : num -> num -> numval sub_num : num -> num -> numval (*/) : num -> num -> numval mult_num : num -> num -> numval square_num : num -> numval (//) : num -> num -> numval div_num : num -> num -> numval quo_num : num -> num -> numval mod_num : num -> num -> numval (**/) : num -> num -> numval power_num : num -> num -> numval abs_num : num -> numval succ_num : num -> numval pred_num : num -> numval incr_num : num Stdlib.ref -> unitval decr_num : num Stdlib.ref -> unitval is_integer_num : num -> boolval integer_num : num -> numval floor_num : num -> numval round_num : num -> numval ceiling_num : num -> numval sign_num : num -> intval (=/) : num -> num -> boolval (</) : num -> num -> boolval (>/) : num -> num -> boolval (<=/) : num -> num -> boolval (>=/) : num -> num -> boolval (<>/) : num -> num -> boolval eq_num : num -> num -> boolval lt_num : num -> num -> boolval le_num : num -> num -> boolval gt_num : num -> num -> boolval ge_num : num -> num -> boolval compare_num : num -> num -> intval max_num : num -> num -> numval min_num : num -> num -> numval string_of_num : num -> stringval approx_num_fix : int -> num -> stringval approx_num_exp : int -> num -> stringval num_of_string : string -> numval num_of_string_opt : string -> num optionval int_of_num : num -> intval int_of_num_opt : num -> int optionval num_of_int : int -> numval nat_of_num : num -> Nat.natval nat_of_num_opt : num -> Nat.nat optionval num_of_nat : Nat.nat -> numval num_of_big_int : Big_int.big_int -> numval big_int_of_num : num -> Big_int.big_intval big_int_of_num_opt : num -> Big_int.big_int optionval ratio_of_num : num -> Ratio.ratioval num_of_ratio : Ratio.ratio -> numval float_of_num : num -> float
val sexp_of_num : Num.num -> Sexplib.Sexp.tval num_of_sexp : Sexplib.Sexp.t -> Num.num