sig module type S = sig type floatable val of_float : float -> floatable val to_float : floatable -> float end end