include Numval incr_num : num Pervasives.ref ‑> unitval decr_num : num Pervasives.ref ‑> unitval is_integer_num : num ‑> boolval sign_num : num ‑> intval 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 ‑> floatval sexp_of_num : Num.num ‑> Sexplib.Sexp.tval num_of_sexp : Sexplib.Sexp.t ‑> Num.num