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