Sexplib_num.Sexplib_num_convval sexp_of_big_int : Big_int.big_int -> Sexplib.Sexp.tval sexp_of_nat : Nat.nat -> Sexplib.Sexp.tval sexp_of_ratio : Ratio.ratio -> Sexplib.Sexp.tval sexp_of_num : Num.num -> Sexplib.Sexp.tval big_int_of_sexp : Sexplib.Sexp.t -> Big_int.big_intval nat_of_sexp : Sexplib.Sexp.t -> Nat.natval ratio_of_sexp : Sexplib.Sexp.t -> Ratio.ratioval num_of_sexp : Sexplib.Sexp.t -> Num.num