Integer.Infix
val (*) : t -> t -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (~-) : t -> t
val (mod) : t -> t -> t
val (=) : t -> t -> bool