sig
  type t = int
  val zero : int
  val infinity : int
  val compare : int -> int -> int
  val add : int -> int -> int
  val to_string : int -> string
end