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 : 'a -> '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