sig
  type big_int = Z.t
  val zero_big_int : Z.t
  val unit_big_int : Z.t
  val minus_big_int : Z.t -> Z.t
  val abs_big_int : Z.t -> Z.t
  val add_big_int : Z.t -> Z.t -> Z.t
  val succ_big_int : Z.t -> Z.t
  val add_int_big_int : int -> Z.t -> Z.t
  val sub_big_int : Z.t -> Z.t -> Z.t
  val pred_big_int : Z.t -> Z.t
  val mult_big_int : Z.t -> Z.t -> Z.t
  val mult_int_big_int : int -> Z.t -> Z.t
  val square_big_int : Z.t -> Z.t
  val sqrt_big_int : Z.t -> Z.t
  val quomod_big_int : Z.t -> Z.t -> Z.t * Z.t
  val div_big_int : Z.t -> Z.t -> Z.t
  val mod_big_int : Z.t -> Z.t -> Z.t
  val gcd_big_int : Z.t -> Z.t -> Z.t
  val power : Z.t -> int -> Z.t
  val power_big : Z.t -> Z.t -> Z.t
  val power_int_positive_int : int -> int -> Z.t
  val power_big_int_positive_int : Z.t -> int -> Z.t
  val power_int_positive_big_int : int -> Z.t -> Z.t
  val power_big_int_positive_big_int : Z.t -> Z.t -> Z.t
  val sign_big_int : Z.t -> int
  val compare_big_int : Z.t -> Z.t -> int
  val eq_big_int : Z.t -> Z.t -> bool
  val le_big_int : Z.t -> Z.t -> bool
  val ge_big_int : Z.t -> Z.t -> bool
  val lt_big_int : Z.t -> Z.t -> bool
  val gt_big_int : Z.t -> Z.t -> bool
  val max_big_int : Z.t -> Z.t -> Z.t
  val min_big_int : Z.t -> Z.t -> Z.t
  val num_digits_big_int : Z.t -> int
  val string_of_big_int : Z.t -> string
  val big_int_of_string : string -> Z.t
  val big_int_of_int : int -> Z.t
  val is_int_big_int : Z.t -> bool
  val int_of_big_int : Z.t -> int
  val big_int_of_int32 : int32 -> Z.t
  val big_int_of_nativeint : nativeint -> Z.t
  val big_int_of_int64 : int64 -> Z.t
  val int32_of_big_int : Z.t -> int32
  val nativeint_of_big_int : Z.t -> nativeint
  val int64_of_big_int : Z.t -> int64
  val float_of_big_int : Z.t -> float
  val and_big_int : Z.t -> Z.t -> Z.t
  val or_big_int : Z.t -> Z.t -> Z.t
  val xor_big_int : Z.t -> Z.t -> Z.t
  val shift_left_big_int : Z.t -> int -> Z.t
  val shift_right_big_int : Z.t -> int -> Z.t
  val shift_right_towards_zero_big_int : Z.t -> int -> Z.t
  val extract_big_int : Z.t -> int -> int -> Z.t
end