Employee-Separation Programs (Details) - 2020 Employee-Separation Programs $ in Millions	12 Months Ended
	Nov. 01, 2020 USD ($)
Employee Separation Programs
Total employee-separation programs' expenses	$ 19.7
Health Care and Life Insurance
Employee Separation Programs
Curtailment expense	$ 5.5
Location of curtailment expense	Administrative and operating expenses