v3.25.4
Leases - weighted average lease term and discount rate (Details) - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2025
Dec. 31, 2024
Dec. 31, 2023
Weighted average remaining lease term at end of the year:      
Operating leases 8 years 10 months 24 days 9 years 3 months 18 days 6 years 7 months 6 days
Finance leases 4 years 9 months 18 days 4 years 4 months 24 days 11 years 8 months 12 days
Weighted average discount rate at end of the year:      
Operating leases 6.10% 6.20% 4.40%
Finance leases 5.40% 3.80% 7.90%
Operating lease right-of-use assets obtained in exchange for operating lease liabilities $ 36.2 $ 100.1 $ 39.3
Finance lease right-of-use assets obtained in exchange for Finance lease liabilities $ 17.5    
Finance lease right-of-use assets obtained in exchange for Finance lease liabilities   $ 4.4 $ 4.2