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