XML 84 R69.htm IDEA: XBRL DOCUMENT v3.23.3
Leases - Lease payments for equipment on operating leases (Details) - USD ($)
$ in Millions
12 Months Ended
Oct. 29, 2023
Oct. 30, 2022
Lease Payments for Equipment on Operating Leases    
2024 $ 749.5  
2025 561.3  
2026 321.4  
2027 157.9  
2028 38.9  
Later years 7.8  
Total $ 1,836.8  
Minimum payment default period 30 days  
Past due balances of operating leases $ 51.8 $ 58.7