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