Leases - Lease payments for equipment on operating leases (Details) - USD ($) $ in Millions	3 Months Ended
	May 03, 2020	Aug. 02, 2020	Nov. 03, 2019
Lease Payments for Equipment on Operating Leases
Remainder of 2020		$ 216.5
2021		684.7
2022		405.1
2023		182.1
2024		69.8
2025		6.8
Later years		0.8
Total		1,565.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