include Big_intval zero_big_int : big_intval unit_big_int : big_intval power_int_positive_int : int ‑> int ‑> big_intval sign_big_int : big_int ‑> intval num_digits_big_int : big_int ‑> intval num_bits_big_int : big_int ‑> intval string_of_big_int : big_int ‑> stringval big_int_of_string : string ‑> big_intval big_int_of_string_opt : string ‑> big_int optionval big_int_of_int : int ‑> big_intval is_int_big_int : big_int ‑> boolval int_of_big_int : big_int ‑> intval int_of_big_int_opt : big_int ‑> int optionval big_int_of_int32 : int32 ‑> big_intval big_int_of_nativeint : nativeint ‑> big_intval big_int_of_int64 : int64 ‑> big_intval int32_of_big_int : big_int ‑> int32val int32_of_big_int_opt : big_int ‑> int32 optionval nativeint_of_big_int : big_int ‑> nativeintval nativeint_of_big_int_opt : big_int ‑> nativeint optionval int64_of_big_int : big_int ‑> int64val int64_of_big_int_opt : big_int ‑> int64 optionval float_of_big_int : big_int ‑> floatval nat_of_big_int : big_int ‑> Nat.natval big_int_of_nat : Nat.nat ‑> big_intval sys_big_int_of_string : string ‑> int ‑> int ‑> big_intval approx_big_int : int ‑> big_int ‑> stringval round_big_int_to_float : big_int ‑> bool ‑> floatval sexp_of_big_int : Big_int.big_int ‑> Sexplib.Sexp.tval big_int_of_sexp : Sexplib.Sexp.t ‑> Big_int.big_int