Module Int.Infix

module Infix: sig .. end

val (%) : t -> t -> t
mod and div operators that have the right behavior on negative numbers, that is, x % y always returns a value between 0 and y-1. Invariant:
        if r = x % y && q = x /% y then q * y + r = x
      

val (/%) : t -> t -> t
val (//) : int -> int -> float
float division of integers