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