Investments - Contractual Maturities of Available-for-Sale Marketable Investments (Details) $ in Millions |
Jun. 30, 2025
USD ($)
|
|---|---|
| Amortized Cost | |
| Due within one year | $ 1,866.0 |
| Due in one to three years | 1,908.3 |
| Total | 3,774.3 |
| Fair Value | |
| Due within one year | 1,866.8 |
| Due in one to three years | 1,917.7 |
| Total | $ 3,784.5 |
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Amortized cost 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 rolling fiscal year following latest fiscal year. For interim and annual periods when interim period is reported on rolling approach, from latest statement of financial position date. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| 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 rolling fiscal year following latest fiscal year. For interim and annual periods when interim period is reported on rolling approach, from latest statement of financial position date. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| 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. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amortized cost 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. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount after adjustments of available-for-sale debt securities at cost, maturing in the third rolling twelve months following the latest balance sheet. Adjustments include, but are not limited to, accretion, amortization, collection of cash, previous other-than-temporary impairments (OTTI) recognized in earnings less cumulative-effect adjustments, and fair value hedge accounting adjustments. For interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date No definition available.
|
| X | ||||||||||
- Definition Fair value of available-for-sale debt securities maturing after first fiscal year through third fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date. No definition available.
|