sig   type big_int   val zero_big_int : Big_int.big_int   val unit_big_int : Big_int.big_int   val minus_big_int : Big_int.big_int -> Big_int.big_int   val abs_big_int : Big_int.big_int -> Big_int.big_int   val add_big_int : Big_int.big_int -> Big_int.big_int -> Big_int.big_int   val succ_big_int : Big_int.big_int -> Big_int.big_int   val add_int_big_int : int -> Big_int.big_int -> Big_int.big_int   val sub_big_int : Big_int.big_int -> Big_int.big_int -> Big_int.big_int   val pred_big_int : Big_int.big_int -> Big_int.big_int   val mult_big_int : Big_int.big_int -> Big_int.big_int -> Big_int.big_int   val mult_int_big_int : int -> Big_int.big_int -> Big_int.big_int   val square_big_int : Big_int.big_int -> Big_int.big_int   val sqrt_big_int : Big_int.big_int -> Big_int.big_int   val quomod_big_int :     Big_int.big_int -> Big_int.big_int -> Big_int.big_int * Big_int.big_int   val div_big_int : Big_int.big_int -> Big_int.big_int -> Big_int.big_int   val mod_big_int : Big_int.big_int -> Big_int.big_int -> Big_int.big_int   val gcd_big_int : Big_int.big_int -> Big_int.big_int -> Big_int.big_int   val power_int_positive_int : int -> int -> Big_int.big_int   val power_big_int_positive_int : Big_int.big_int -> int -> Big_int.big_int   val power_int_positive_big_int : int -> Big_int.big_int -> Big_int.big_int   val power_big_int_positive_big_int :     Big_int.big_int -> Big_int.big_int -> Big_int.big_int   val sign_big_int : Big_int.big_int -> int   val compare_big_int : Big_int.big_int -> Big_int.big_int -> int   val eq_big_int : Big_int.big_int -> Big_int.big_int -> bool   val le_big_int : Big_int.big_int -> Big_int.big_int -> bool   val ge_big_int : Big_int.big_int -> Big_int.big_int -> bool   val lt_big_int : Big_int.big_int -> Big_int.big_int -> bool   val gt_big_int : Big_int.big_int -> Big_int.big_int -> bool   val max_big_int : Big_int.big_int -> Big_int.big_int -> Big_int.big_int   val min_big_int : Big_int.big_int -> Big_int.big_int -> Big_int.big_int   val num_digits_big_int : Big_int.big_int -> int   val num_bits_big_int : Big_int.big_int -> int   val string_of_big_int : Big_int.big_int -> string   val big_int_of_string : string -> Big_int.big_int   val big_int_of_int : int -> Big_int.big_int   val is_int_big_int : Big_int.big_int -> bool   val int_of_big_int : Big_int.big_int -> int   val big_int_of_int32 : int32 -> Big_int.big_int   val big_int_of_nativeint : nativeint -> Big_int.big_int   val big_int_of_int64 : int64 -> Big_int.big_int   val int32_of_big_int : Big_int.big_int -> int32   val nativeint_of_big_int : Big_int.big_int -> nativeint   val int64_of_big_int : Big_int.big_int -> int64   val float_of_big_int : Big_int.big_int -> float   val and_big_int : Big_int.big_int -> Big_int.big_int -> Big_int.big_int   val or_big_int : Big_int.big_int -> Big_int.big_int -> Big_int.big_int   val xor_big_int : Big_int.big_int -> Big_int.big_int -> Big_int.big_int   val shift_left_big_int : Big_int.big_int -> int -> Big_int.big_int   val shift_right_big_int : Big_int.big_int -> int -> Big_int.big_int   val shift_right_towards_zero_big_int :     Big_int.big_int -> int -> Big_int.big_int   val extract_big_int : Big_int.big_int -> int -> int -> Big_int.big_int   val nat_of_big_int : Big_int.big_int -> Nat.nat   val big_int_of_nat : Nat.nat -> Big_int.big_int   val base_power_big_int : int -> int -> Big_int.big_int -> Big_int.big_int   val sys_big_int_of_string : string -> int -> int -> Big_int.big_int   val round_futur_last_digit : bytes -> int -> int -> bool   val approx_big_int : int -> Big_int.big_int -> string   val round_big_int_to_float : Big_int.big_int -> bool -> float end