Module Float_intf

module Float_intf: sig .. end

include Core_kernel.Float_intf