Leases - Lease Revenues (Details) - USD ($) $ in Millions	3 Months Ended
	Jan. 29, 2023	Jan. 30, 2022
Lessor
Sales-type and direct finance lease revenues	$ 18.8	$ 13.0
Operating lease revenues	217.1	223.1
Variable lease revenues	5.6	6.2
Total lease revenues	241.5	242.3
Excess use and damage fees	$ 0.8	$ 0.8