Employee-Separation Programs (Details) - 2020 Employee-Separation Programs - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	May 03, 2020	Feb. 02, 2020	May 03, 2020
Employee Separation Programs
Total employee separation programs' expenses, pretax	$ 1.0		$ 8.7
Health Care and Life Insurance
Employee Separation Programs
Curtailment expense		$ 3.3
Defined Benefit Plan, Net Periodic Benefit (Cost) Credit, Curtailment Gain (Loss), Statement of Income or Comprehensive Income [Extensible List]		Selling, General and Administrative Expense