`sig
val ( + ) : Float_intf.S.t -> Float_intf.S.t -> Float_intf.S.t
val ( - ) : Float_intf.S.t -> Float_intf.S.t -> Float_intf.S.t
val ( * ) : Float_intf.S.t -> Float_intf.S.t -> Float_intf.S.t
val ( / ) : Float_intf.S.t -> Float_intf.S.t -> Float_intf.S.t
val ( ~- ) : Float_intf.S.t -> Float_intf.S.t
val ( >= ) : t -> t -> bool
val ( <= ) : t -> t -> bool
val ( = ) : t -> t -> bool
val ( > ) : t -> t -> bool
val ( < ) : t -> t -> bool
val ( <> ) : t -> t -> bool
val ( >=. ) : t -> t -> bool
val ( <=. ) : t -> t -> bool
val ( =. ) : t -> t -> bool
val ( >. ) : t -> t -> bool
val ( <. ) : t -> t -> bool
val ( <>. ) : t -> t -> bool
val robustly_compare : t -> t -> int
val abs : Float_intf.S.t -> Float_intf.S.t
val neg : Float_intf.S.t -> Float_intf.S.t
val zero : Float_intf.S.t
val of_int : int -> Float_intf.S.t
val of_float : float -> Float_intf.S.t
end`