Employee-Separation Programs (Details) - 2020 Employee-Separation Programs - USD ($) $ in Millions	3 Months Ended	9 Months Ended
	Feb. 02, 2020	Aug. 02, 2020
Employee Separation Programs
Total employee separation programs' expenses, pretax		$ 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