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