sig
  val my_int64_of_big_int : Big_int.big_int -> int64
  val my_big_int_of_int64 : int64 -> Big_int.big_int
  val int64_of_big_int : Big_int.big_int -> int64
  val big_int_of_int64 : int64 -> Big_int.big_int
  type big_int = Big_int.big_int
  val zero_big_int : big_int
  val unit_big_int : big_int
  val minus_big_int : big_int -> big_int
  val abs_big_int : big_int -> big_int
  val add_big_int : big_int -> big_int -> big_int
  val succ_big_int : big_int -> big_int
  val add_int_big_int : int -> big_int -> big_int
  val sub_big_int : big_int -> big_int -> big_int
  val pred_big_int : big_int -> big_int
  val mult_big_int : big_int -> big_int -> big_int
  val mult_int_big_int : int -> big_int -> big_int
  val square_big_int : big_int -> big_int
  val sqrt_big_int : big_int -> big_int
  val quomod_big_int : big_int -> big_int -> big_int * big_int
  val div_big_int : big_int -> big_int -> big_int
  val mod_big_int : big_int -> big_int -> big_int
  val gcd_big_int : big_int -> big_int -> big_int
  val power_int_positive_int : int -> int -> big_int
  val power_big_int_positive_int : big_int -> int -> big_int
  val power_int_positive_big_int : int -> big_int -> big_int
  val power_big_int_positive_big_int : big_int -> big_int -> big_int
  val sign_big_int : big_int -> int
  val compare_big_int : big_int -> big_int -> int
  val eq_big_int : big_int -> big_int -> bool
  val le_big_int : big_int -> big_int -> bool
  val ge_big_int : big_int -> big_int -> bool
  val lt_big_int : big_int -> big_int -> bool
  val gt_big_int : big_int -> big_int -> bool
  val max_big_int : big_int -> big_int -> big_int
  val min_big_int : big_int -> big_int -> big_int
  val num_digits_big_int : big_int -> int
  val string_of_big_int : big_int -> string
  val big_int_of_string : string -> big_int
  val big_int_of_int : int -> big_int
  val is_int_big_int : big_int -> bool
  val int_of_big_int : big_int -> int
  val big_int_of_int32 : int32 -> big_int
  val big_int_of_nativeint : nativeint -> big_int
  val big_int_of_int64 : int64 -> big_int
  val int32_of_big_int : big_int -> int32
  val nativeint_of_big_int : big_int -> nativeint
  val int64_of_big_int : big_int -> int64
  val float_of_big_int : big_int -> float
  val and_big_int : big_int -> big_int -> big_int
  val or_big_int : big_int -> big_int -> big_int
  val xor_big_int : big_int -> big_int -> big_int
  val shift_left_big_int : big_int -> int -> big_int
  val shift_right_big_int : big_int -> int -> big_int
  val shift_right_towards_zero_big_int : big_int -> int -> big_int
  val extract_big_int : big_int -> int -> int -> big_int
  val nat_of_big_int : big_int -> Nat.nat
  val big_int_of_nat : Nat.nat -> big_int
  val base_power_big_int : int -> int -> big_int -> big_int
  val sys_big_int_of_string : string -> int -> int -> big_int
  val round_futur_last_digit : string -> int -> int -> bool
  val approx_big_int : int -> big_int -> string
  val int64_of_big_int : big_int -> int64
  val big_int_of_int64 : int64 -> big_int
  val equal : big_int -> big_int -> bool
  val compare : big_int -> big_int -> int
  val nb_digits_of_big_int : int
  val base : big_int
  val base16bits : big_int
  val map2_base :
    big_int ->
    (big_int -> big_int -> big_int) -> big_int -> big_int -> big_int
  val bitwise_op_positive_big_int :
    (int -> int -> int) -> big_int -> big_int -> big_int
  val lnot_big_int : big_int -> big_int
  val shift_left_big_int : big_int -> big_int -> big_int
  val shift_right_big_int : big_int -> big_int -> big_int
  val power_two : int -> big_int
  val two_power : big_int -> big_int
  val log_shift_right_big_int : big_int -> big_int -> big_int
  val bitwise_op_big_int :
    (int -> int -> int) -> big_int -> big_int -> big_int
  val land_big_int : big_int -> big_int -> big_int
  val lor_big_int : big_int -> big_int -> big_int
  val lxor_big_int : big_int -> big_int -> big_int
  val bitwise_extraction : int -> int -> big_int -> big_int
  val minus_one_big_int : big_int
  val thirty_two_big_int : big_int
  val small_nums : big_int array
  val zero : big_int
  val one : big_int
  val minus_one : big_int
  val two : big_int
  val four : big_int
  val eight : big_int
  val thirtytwo : big_int
  val onethousand : big_int
  val billion_one : big_int
  val is_zero : big_int -> bool
  val rem : big_int -> big_int -> big_int
  val div : big_int -> big_int -> big_int
  val mul : big_int -> big_int -> big_int
  val sub : big_int -> big_int -> big_int
  val abs : big_int -> big_int
  val succ : big_int -> big_int
  val pred : big_int -> big_int
  val neg : big_int -> big_int
  val add : big_int -> big_int -> big_int
  val hash : big_int -> int
  val shift_right_logical : big_int -> big_int -> big_int
  val shift_right : big_int -> big_int -> big_int
  val shift_left : big_int -> big_int -> big_int
  val logand : big_int -> big_int -> big_int
  val lognot : big_int -> big_int
  val logor : big_int -> big_int -> big_int
  val logxor : big_int -> big_int -> big_int
  val le : big_int -> big_int -> bool
  val lt : big_int -> big_int -> bool
  val ge : big_int -> big_int -> bool
  val gt : big_int -> big_int -> bool
  val to_int : big_int -> int
  val of_int : int -> big_int
  val of_int64 : int64 -> big_int
  val to_int64 : big_int -> int64
  val max_int64 : big_int
  val min_int64 : big_int
  val bits_of_max_float : big_int
  val bits_of_most_negative_float : big_int
  val of_string : string -> big_int
  val to_string : big_int -> string
  val to_float : big_int -> float
  val of_float : '-> 'b
  val minus_one : big_int
  val two_power_60 : big_int
  val two_power_64 : big_int
  val add_2_64 : big_int -> big_int
  val pretty : ?hexa:bool -> Format.formatter -> big_int -> unit
  val is_one : big_int -> bool
  val pos_div : big_int -> big_int -> big_int
  val pos_rem : big_int -> big_int -> big_int
  val native_div : big_int -> big_int -> big_int
  val c_div : big_int -> big_int -> big_int
  val c_rem : big_int -> big_int -> big_int
  val cast : size:big_int -> signed:bool -> value:big_int -> big_int
  val two_power : big_int -> big_int
  val power_two : int -> big_int
  val extract_bits : start:big_int -> stop:big_int -> big_int -> big_int
  val is_even : big_int -> bool
  val pgcd : big_int -> big_int -> big_int
  val ppcm : big_int -> big_int -> big_int
  val length : big_int -> big_int -> big_int
  val min : big_int -> big_int -> big_int
  val max : big_int -> big_int -> big_int
  val round_down_to_zero : big_int -> big_int -> big_int
  val round_up_to_r : min:big_int -> r:big_int -> modu:big_int -> big_int
  val round_down_to_r : max:big_int -> r:big_int -> modu:big_int -> big_int
  val to_num : Big_int.big_int -> Num.num
  val popcount : big_int -> int
end