XML 137 R88.htm IDEA: XBRL DOCUMENT v3.25.0.1
Financial Instruments - Proceeds from Marketable Debt Securities (Details) - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2024
Dec. 31, 2023
Dec. 31, 2022
Investments, All Other Investments [Abstract]      
Proceeds from maturities and sales $ 0.0 $ 7,380.8 $ 3,671.0
Realized gains   1.4 0.0
Realized losses   $ 18.4 $ 12.6