XML 24 R40.htm IDEA: XBRL DOCUMENT v3.20.1
Leases - Lease Revenues (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
May 03, 2020
Apr. 28, 2019
May 03, 2020
Apr. 28, 2019
Lessor        
Sales-type and direct finance lease revenues $ 10.7   $ 22.3  
Operating lease revenues 256.8   515.3  
Variable lease revenues 5.1   9.9  
Total lease revenues $ 272.6 $ 245.4 $ 547.5 $ 484.9