v3.25.4
Leases - future lease payments (Details)
$ in Millions
Dec. 31, 2025
USD ($)
Future payments due under operating leases  
2026 $ 43.0
2027 36.6
2028 28.9
2029 21.9
2030 18.2
Thereafter 97.1
Total undiscounted lease payments 245.7
Difference between undiscounted and discounted lease payments (60.2)
Lease liabilities 185.5
Future payments due under finance leases  
2026 7.3
2027 6.4
2028 5.9
2029 5.4
2030 3.1
Thereafter 2.6
Total undiscounted lease payments 30.7
Difference between undiscounted and discounted lease payments (3.8)
Lease liabilities $ 26.9