Marketable Securities - Schedule of Debt Securities Based on Contractual Maturity Dates (Details) - USD ($) $ in Millions |
Jun. 30, 2025 |
Dec. 31, 2024 |
|---|---|---|
| Investments, Debt and Equity Securities [Abstract] | ||
| Maturities within one year | $ 5,473.8 | $ 6,524.3 |
| Maturities after one year through five years | 8,572.4 | 7,804.8 |
| Maturities after five years | 0.4 | 0.0 |
| Total | $ 14,046.6 | $ 14,329.1 |
| X | ||||||||||
- Definition Debt Securities, Available-for-Sale, Fair Value, Maturity, Allocated and Single Maturity Date, after Year 5 No definition available.
|
| X | ||||||||||
- Definition Fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in second through fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount 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 | ||||||||||
- References No definition available.
|