XML 87 R71.htm IDEA: XBRL DOCUMENT v3.21.2
Leases - Lease payments for equipment on operating leases (Details) - USD ($)
$ in Millions
12 Months Ended
Oct. 31, 2021
Nov. 01, 2020
Lease Payments for Equipment on Operating Leases    
2022 $ 685.6  
2023 434.9  
2024 229.7  
2025 106.5  
2026 23.5  
Later years 4.0  
Total $ 1,484.2  
Minimum payment default period 30 days  
Past due balances of operating leases $ 53.9 $ 61.3