sig
  type t = int
  val compare : int -> int -> int
  val to_string : int -> string
  val of_string : string -> int option
end