sig type t val fractional : Float_intf.S.Parts.t -> Float_intf.S.outer val integral : Float_intf.S.Parts.t -> Float_intf.S.outer end