Investments - Available-for-Sale Debt Securities (Details) - USD ($) $ in Millions |
Jun. 30, 2025 |
Dec. 31, 2024 |
|---|---|---|
| Debt Securities, Available-for-sale [Line Items] | ||
| Amortized Cost | $ 3,774.3 | $ 3,041.7 |
| Gross Unrealized Gains | 11.0 | 5.0 |
| Gross Unrealized Losses | (0.8) | (4.0) |
| Fair Value | 3,784.5 | 3,042.7 |
| U.S. government and agency securities | ||
| Debt Securities, Available-for-sale [Line Items] | ||
| Amortized Cost | 3,019.1 | 2,473.7 |
| Gross Unrealized Gains | 7.5 | 3.1 |
| Gross Unrealized Losses | (0.8) | (3.5) |
| Fair Value | 3,025.8 | 2,473.3 |
| Corporate debt securities | ||
| Debt Securities, Available-for-sale [Line Items] | ||
| Amortized Cost | 755.2 | 568.0 |
| Gross Unrealized Gains | 3.5 | 1.9 |
| Gross Unrealized Losses | 0.0 | (0.5) |
| Fair Value | $ 758.7 | $ 569.4 |
| X | ||||||||||
- Definition Amount, before tax, of unrealized gain in accumulated other comprehensive income (AOCI) on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale). Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount, before tax, of unrealized loss in accumulated other comprehensive income (AOCI) on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale). Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amortized cost excluding accrued interest, after allowance for credit loss, of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale). Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount excluding accrued interest, of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale). Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| 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
|
| X | ||||||||||
- Details
|