module F: sig .. end
sig
end
type t
val of_float : float -> t
float -> t
val to_float : t -> float
t -> float
exception Nan_or_infinite