sig
  type t = Integer.t
  val equal : t -> t -> bool
  val compare : t -> t -> int
  val le : t -> t -> bool
  val ge : t -> t -> bool
  val lt : t -> t -> bool
  val gt : t -> t -> bool
  val add : t -> t -> t
  val sub : t -> t -> t
  val mul : t -> t -> t
  val native_div : t -> t -> t
  val rem : t -> t -> t
  val pos_div : t -> t -> t
  val divexact : t -> t -> t
  val c_div : t -> t -> t
  val c_rem : t -> t -> t
  val div_rem : t -> t -> t * t
  val cast : size:t -> signed:bool -> value:t -> t
  val abs : t -> t
  val one : t
  val two : t
  val four : t
  val onethousand : t
  val minus_one : t
  val is_zero : t -> bool
  val is_one : t -> bool
  val pgcd : t -> t -> t
  val ppcm : t -> t -> t
  val min : t -> t -> t
  val max : t -> t -> t
  val length : t -> t -> t
  val of_int : int -> t
  val of_int64 : Int64.t -> t
  val of_int32 : Int32.t -> t
  val to_int64 : t -> int64
  val to_int : t -> int
  val to_float : t -> float
  val neg : t -> t
  val succ : t -> t
  val pred : t -> t
  val round_up_to_r : min:t -> r:t -> modu:t -> t
  val round_down_to_r : max:t -> r:t -> modu:t -> t
  val pos_rem : t -> t -> t
  val shift_left : t -> t -> t
  val shift_right : t -> t -> t
  val logand : t -> t -> t
  val logor : t -> t -> t
  val logxor : t -> t -> t
  val lognot : t -> t
  val two_power : t -> t
  val two_power_of_int : int -> t
  val extract_bits : start:t -> stop:t -> t -> t
  val small_nums : t array
  val zero : t
  val eight : t
  val sixteen : t
  val thirtytwo : t
  val div : t -> t -> t
  val billion_one : t
  val hash : t -> int
  val shift_right_logical : t -> t -> t
  val two_power_64 : t
  val max_int64 : t
  val min_int64 : t
  val of_string : string -> t
  val to_string : t -> string
  val add_2_64 : t -> t
  val add_2_32 : t -> t
  val is_even : t -> bool
  val round_down_to_zero : t -> t -> t
  val power_int_positive_int : int -> int -> t
  val to_num : t -> Num.num
  val popcount : t -> int
  val pretty : ?hexa:bool -> t Pretty_utils.formatter
  val leq : Integer.t -> Integer.t -> bool
end