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