sig
  val ( + ) : Int_intf.S.t -> Int_intf.S.t -> Int_intf.S.t
  val ( - ) : Int_intf.S.t -> Int_intf.S.t -> Int_intf.S.t
  val ( * ) : Int_intf.S.t -> Int_intf.S.t -> Int_intf.S.t
  val ( / ) : Int_intf.S.t -> Int_intf.S.t -> Int_intf.S.t
  val ( ~- ) : Int_intf.S.t -> Int_intf.S.t
  val ( >= ) : t -> t -> bool
  val ( <= ) : t -> t -> bool
  val ( = ) : t -> t -> bool
  val ( > ) : t -> t -> bool
  val ( < ) : t -> t -> bool
  val ( <> ) : t -> t -> bool
  val abs : Int_intf.S.t -> Int_intf.S.t
  val neg : Int_intf.S.t -> Int_intf.S.t
  val zero : Int_intf.S.t
  val of_int_exn : int -> Int_intf.S.t
  val ( % ) : Int_intf.S.t -> Int_intf.S.t -> Int_intf.S.t
  val ( /% ) : Int_intf.S.t -> Int_intf.S.t -> Int_intf.S.t
  val ( // ) : Int_intf.S.t -> Int_intf.S.t -> float
end