Leases - Cost of Equipment on Operating Leases (Details) - USD ($) $ in Millions	Jul. 30, 2023	Oct. 30, 2022	Jul. 31, 2022
Cost of Equipment on Operating Leases
Equipment on operating leases - gross	$ 6,103.3	$ 6,155.3	$ 6,130.2
Accumulated depreciation	(1,265.8)	(1,301.8)	(1,352.7)
Equipment on operating leases - net	4,837.5	4,853.5	4,777.5
Operating lease residual value	3,351.1	3,366.7	3,352.8
Operating lease residual value guarantees	544.1	440.7	464.9
Matured operating lease inventory	16.2	10.8	16.6
Agriculture and turf equipment
Cost of Equipment on Operating Leases
Equipment on operating leases - gross	5,049.1	5,017.3	4,951.3
Construction and forestry
Cost of Equipment on Operating Leases
Equipment on operating leases - gross	$ 1,054.2	$ 1,138.0	$ 1,178.9