include Float_intf.S with type t = float