sig
  val ( % ) : t -> t -> t
  val ( /% ) : t -> t -> t
  val ( // ) : int -> int -> float
end