XML 56 R41.htm IDEA: XBRL DOCUMENT v3.23.1
Leases - Lease Revenues (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Apr. 30, 2023
May 01, 2022
Apr. 30, 2023
May 01, 2022
Lessor        
Sales-type and direct finance lease revenues $ 19.6 $ 12.5 $ 38.4 $ 25.5
Operating lease revenues 216.8 220.3 435.7 445.0
Variable lease revenues 4.6 5.8 10.2 12.0
Total lease revenues 241.0 238.6 484.3 482.5
Excess use and damage fees $ 0.4 $ 0.6 $ 1.2 $ 1.4