Leases - Lease payments for equipment on operating leases (Details) - USD ($) $ in Millions	Feb. 02, 2020	Nov. 03, 2019
Lease Payments for Equipment on Operating Leases
Remainder of 2020	$ 615.0
2021	575.9
2022	303.0
2023	126.2
2024	33.9
Later years	0.9
Total	1,654.9
Matured operating lease inventory	$ 127.4	$ 160.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