sig
  type t = second
  val from_int : int -> t
  val from_float : float -> t
  val to_int : t -> int
  val to_float : t -> float
end