`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`