XML 87 R71.htm IDEA: XBRL DOCUMENT v3.25.0.1
Marketable securities - Schedule of Marketable Securities (Details) - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2023
Dec. 31, 2024
Marketable securities [Line Items]    
Market value, current $ 56.1 $ 1.9
Market value, noncurrent 4.8 5.7
Unrealized loss, net (0.2)  
Current assets    
Marketable securities [Line Items]    
Market value, current 56.1 1.9
Cost or amortized cost 56.1 1.9
Noncurrent assets    
Marketable securities [Line Items]    
Market value, noncurrent 4.8 5.7
Cost or amortized cost $ 5.0 $ 5.7