Marketable Securities Held in Trusts - Maturity Dates and Realized Gain and Loss (Details) - USD ($) $ in Millions |
3 Months Ended | 6 Months Ended | |||
|---|---|---|---|---|---|
Jun. 30, 2026 |
Jun. 30, 2025 |
Jun. 30, 2026 |
Jun. 30, 2025 |
Dec. 31, 2025 |
|
| Available-for-sale Securities, Debt Maturities, Fair Value, Fiscal Year Maturity | |||||
| Debt Securities, Available-for-sale | $ 747.8 | $ 747.8 | $ 743.3 | ||
| Debt securities | |||||
| Available-for-sale Securities, Debt Maturities, Fair Value, Fiscal Year Maturity | |||||
| Available-for-sale debt maturities due within one year, fair value | 9.5 | 9.5 | |||
| Available-for-sale debt maturities, after 1 but within 5 years, fair value | 245.0 | 245.0 | |||
| Available-for-sale debt maturities, after 5 but within 10 years, fair value | 428.3 | 428.3 | |||
| Available-for-sale debt maturities, after 10 years, fair value | 65.4 | 65.4 | |||
| Debt Securities, Available-for-sale | 748.2 | 748.2 | |||
| Debt Securities, Available-for-sale, Realized Gain | 0.2 | $ 0.3 | 0.7 | $ 0.7 | |
| Debt Securities, Available-for-sale, Realized Loss | $ 1.1 | $ 7.2 | $ 3.7 | $ 7.8 | |
| 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 sixth through tenth 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 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 after tenth 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 | ||||||||||
- References 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 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 | ||||||||||
- Definition Amount of realized gain 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 of realized loss 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 | ||||||||||
- Details
|