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