Financial Instruments - Marketable debt and equity securities (Details) - USD ($) $ in Millions |
Jun. 30, 2025 |
Dec. 31, 2024 |
|---|---|---|
| Net Investment Income [Line Items] | ||
| Amortized Cost | $ 668.7 | $ 668.7 |
| Gross Unrealized Gains | 0.0 | 0.0 |
| Gross Unrealized Losses | (511.7) | (489.0) |
| Fair Value | 157.0 | 179.7 |
| Equity Securities, Non-Current | ||
| Net Investment Income [Line Items] | ||
| Amortized Cost | 668.7 | 668.7 |
| Gross Unrealized Gains | 0.0 | 0.0 |
| Gross Unrealized Losses | (511.7) | (489.0) |
| Fair Value | $ 157.0 | $ 179.7 |
| X | ||||||||||
- Definition Equity Securities, Available-for-sale, Accumulated Gross Unrealized Gain, before Tax No definition available.
|
| X | ||||||||||
- Definition Equity Securities, Available-for-Sale, Accumulated Gross Unrealized Loss, Before Tax No definition available.
|
| X | ||||||||||
- Definition Amount of investment in equity security measured at fair value with change in fair value recognized in net income (FV-NI), classified as current. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Cost of investment in equity security measured at fair value with change in fair value recognized in net income (FV-NI). Excludes equity method investment and investment in equity security without readily determinable fair value. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Details
|