    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 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 float_of_big_int : Big_int.big_int -> float
      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 : string -> int -> int -> bool
      val approx_big_int : int -> Big_int.big_int -> string
    end