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