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