sig
  val ( =+ ) : int Pervasives.ref -> int -> unit
  val ( =+. ) : float Pervasives.ref -> float -> unit
  val min : int -> int -> int
  val max : int -> int -> int
  val ( * ) : int -> int -> int
  val ( + ) : int -> int -> int
  val ( - ) : int -> int -> int
  val sign : int -> int
  val ( /+ ) : int -> int -> int
  val ( /- ) : int -> int -> int
end