XML 76 R65.htm IDEA: XBRL DOCUMENT v3.22.2.2
Leases - Lease payments for equipment on operating leases (Details) - USD ($)
$ in Millions
12 Months Ended
Oct. 30, 2022
Oct. 31, 2021
Lease Payments for Equipment on Operating Leases    
2023 $ 677.1  
2024 474.7  
2025 273.0  
2026 133.8  
2027 29.1  
Later years 5.0  
Total $ 1,592.7  
Minimum payment default period 30 days  
Past due balances of operating leases $ 58.7 $ 53.9