include Num
val incr_num : num Pervasives.ref ‑> unit
val decr_num : num Pervasives.ref ‑> unit
val is_integer_num : num ‑> bool
val sign_num : num ‑> int
val string_of_num : num ‑> string
val approx_num_fix : int ‑> num ‑> string
val approx_num_exp : int ‑> num ‑> string
val num_of_string : string ‑> num
val int_of_num : num ‑> int
val num_of_int : int ‑> num
val nat_of_num : num ‑> Nat.nat
val num_of_nat : Nat.nat ‑> num
val num_of_big_int : Big_int.big_int ‑> num
val big_int_of_num : num ‑> Big_int.big_int
val ratio_of_num : num ‑> Ratio.ratio
val num_of_ratio : Ratio.ratio ‑> num
val float_of_num : num ‑> float
val sexp_of_num : Num.num ‑> Sexplib.Sexp.t
val num_of_sexp : Sexplib.Sexp.t ‑> Num.num