Leases - Lease payments for equipment on operating leases (Details) - USD ($) $ in Millions	3 Months Ended
	May 03, 2020	Nov. 03, 2019
Lease Payments for Equipment on Operating Leases
Remainder of 2020	$ 403.0
2021	636.6
2022	357.9
2023	153.0
2024	50.4
2025	2.7
Later years	0.2
Total	1,603.8
Matured operating lease inventory	100.7	$ 160.8
Impairment losses on matured operating lease inventory	$ 9.8
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