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