RequirePackage float