Leases - Lease payments for equipment on operating leases (Details) - USD ($) $ in Millions	12 Months Ended
	Nov. 01, 2020	Nov. 03, 2019	Oct. 28, 2018
Lease Payments for Equipment on Operating Leases
2021	$ 744.1
2022	472.4
2023	231.0
2024	97.7
2025	16.3
Later years	2.3
Total	$ 1,563.8
Minimum payment default period	30 days
Past due balances of operating leases	$ 61.3	$ 85.4
Matured operating lease inventory	64.5	160.8
Impairment losses on matured operating lease inventory	$ 9.8	18.0	$ 0.0
Rental Payments for Equipment on Operating Leases
2020		738.3
2021		484.4
2022		231.6
2023		92.8
2024		14.1
Later years		0.3
Total		$ 1,561.5