sig
  val ( +. ) : int -> int -> int
  val ( -. ) : int -> int -> int
  val ( *. ) : int -> int -> int
  val ( /. ) : int -> int -> int
  val ( ~-. ) : int -> int
end