v3.26.1
Other income (Schedule of Other Income) (Details) - USD ($)
$ in Millions
 3 Months Ended
Mar. 31, 2026
Mar. 31, 2025
Disaggregation of Revenue [Line Items]    
Other income $ 18.4 $ 20.9
Ancillary Product Profit Sharing [Member]    
Disaggregation of Revenue [Line Items]    
Other income 9.1 8.7
Interest [Member]    
Disaggregation of Revenue [Line Items]    
Other income 4.8 8.4
Remarketing Fees [Member]    
Disaggregation of Revenue [Line Items]    
Other income 4.1 3.4
Other [Member]    
Disaggregation of Revenue [Line Items]    
Other income $ 0.4 $ 0.4