v3.25.2
Other income (Schedule of Other Income) (Details) - USD ($)
$ in Millions
 3 Months Ended 6 Months Ended
Jun. 30, 2025
Jun. 30, 2024
Jun. 30, 2025
Jun. 30, 2024
Disaggregation of Revenue [Line Items]        
Other income $ 19.0 $ 16.2 $ 39.9 $ 33.1
Ancillary Product Profit Sharing [Member]        
Disaggregation of Revenue [Line Items]        
Other income 7.5 6.4 16.2 13.7
Interest [Member]        
Disaggregation of Revenue [Line Items]        
Other income 7.8 6.4 16.2 12.2
Remarketing Fees [Member]        
Disaggregation of Revenue [Line Items]        
Other income 3.3 2.9 6.7 6.2
Other [Member]        
Disaggregation of Revenue [Line Items]        
Other income $ 0.4 $ 0.5 $ 0.8 $ 1.0