Leases - Lease Revenues (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Jul. 30, 2023	Jul. 31, 2022	Jul. 30, 2023	Jul. 31, 2022
Lessor
Sales-type and direct finance lease revenues	$ 25.2	$ 14.7	$ 63.6	$ 40.2
Operating lease revenues	224.9	219.4	660.6	664.4
Variable lease revenues	0.1	5.6	10.3	17.6
Total lease revenues	250.2	239.7	734.5	722.2
Excess use and damage fees	$ 0.1	$ 0.5	$ 1.3	$ 1.9