XML 82 R68.htm IDEA: XBRL DOCUMENT v3.25.0.1
Other income (Details) - USD ($)
$ in Millions
1 Months Ended 12 Months Ended
Jan. 31, 2025
Dec. 31, 2024
Dec. 31, 2023
Dec. 31, 2022
Accumulated Other Comprehensive Income (Loss) [Line Items]        
Other income   $ 7.7 $ 0.0 $ 0.0
Insurance recoveries   $ 5.8    
Forecast        
Accumulated Other Comprehensive Income (Loss) [Line Items]        
Insurance recoveries $ 1.9