sig
  type t = int
  val compare : t -> t -> int
  val hash : t -> int
  val neg : t -> t
  val is_pos : t -> bool
  val str : t -> string
  val max : t
  val to_int : t -> int
end