XML 56 R44.htm IDEA: XBRL DOCUMENT
v3.25.2

Marketable Securities Held in Trusts - Maturity Dates and Realized Gain and Loss (Details) - USD ($) $ in Millions | 3 Months Ended | 6 Months Ended |
--- | --- | --- | ---
Jun. 30, 2025 | Jun. 30, 2024 | Jun. 30, 2025 | Jun. 30, 2024 | Dec. 31, 2024
Available-for-sale Securities, Debt Maturities, Fair Value, Fiscal Year Maturity |  |  |  |  |
Debt Securities, Available-for-sale | $ 722.6 |  | $ 722.6 |  | $ 695.2
Debt securities |  |  |  |  |
Debt Securities, Available-for-sale [Line Items] |  |  |  |  |
Debt Securities, Available-for-sale, Realized Loss | 7.2 | $ 7.9 | 7.8 | $ 14.7 |
Debt Securities, Available-for-sale, Realized Gain | 0.3 | $ 0.3 | 0.7 | $ 10.9 |
Available-for-sale Securities, Debt Maturities, Fair Value, Fiscal Year Maturity |  |  |  |  |
Available-for-sale debt maturities due within one year, fair value | 19.9 |  | 19.9 |  |
Available-for-sale debt maturities, after 1 but within 5 years, fair value | 239.8 |  | 239.8 |  |
Available-for-sale debt maturities, after 5 but within 10 years, fair value | 413.2 |  | 413.2 |  |
Available-for-sale debt maturities, after 10 years, fair value | 51.8 |  | 51.8 |  |
Debt Securities, Available-for-sale | $ 724.7 |  | $ 724.7 |  |

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). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 942 -SubTopic 320 -Name Accounting Standards Codification -Section 50 -Paragraph 3A -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterFiveThroughTenYearsFairValue
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

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). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 942 -SubTopic 320 -Name Accounting Standards Codification -Section 50 -Paragraph 3A -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterOneThroughFiveYearsFairValue
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

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). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 942 -SubTopic 320 -Name Accounting Standards Codification -Section 50 -Paragraph 3A -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterTenYearsFairValue
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- References No definition available. + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesFairValueAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

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). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 942 -SubTopic 320 -Name Accounting Standards Codification -Section 50 -Paragraph 3A -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtMaturitiesWithinOneYearFairValue
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

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). + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (bbb)(2)(i) -Publisher FASB -URI https://asc.fasb.org/1943274/2147482106/820-10-50-2 Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (bbb)(2) -Publisher FASB -URI https://asc.fasb.org/1943274/2147482106/820-10-50-2 Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (bbb)(1) -Publisher FASB -URI https://asc.fasb.org/1943274/2147482106/820-10-50-2 Reference 4: http://www.xbrl.org/2003/role/exampleRef -Name Accounting Standards Codification -Section 55 -Paragraph 10 -SubTopic 10 -Topic 825 -Publisher FASB -URI https://asc.fasb.org/1943274/2147482881/825-10-55-10 Reference 5: http://www.xbrl.org/2003/role/disclosureRef -Topic 825 -SubTopic 10 -Name Accounting Standards Codification -Section 45 -Paragraph 1A -Publisher FASB -URI https://asc.fasb.org/1943274/2147482736/825-10-45-1A Reference 6: http://www.xbrl.org/2003/role/disclosureRef -Topic 825 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 11 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147482907/825-10-50-11 Reference 7: http://www.xbrl.org/2003/role/disclosureRef -Topic 825 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 11 -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147482907/825-10-50-11 Reference 8: http://www.xbrl.org/2003/role/disclosureRef -Topic 825 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 10 -Publisher FASB -URI https://asc.fasb.org/1943274/2147482907/825-10-50-10 Reference 9: http://www.xbrl.org/2003/role/exampleRef -Topic 825 -SubTopic 10 -Name Accounting Standards Codification -Section 55 -Paragraph 12 -Publisher FASB -URI https://asc.fasb.org/1943274/2147482881/825-10-55-12 Reference 10: http://www.xbrl.org/2003/role/exampleRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 55 -Paragraph 103 -Publisher FASB -URI https://asc.fasb.org/1943274/2147482078/820-10-55-103 Reference 11: http://www.xbrl.org/2003/role/exampleRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 55 -Paragraph 100 -Publisher FASB -URI https://asc.fasb.org/1943274/2147482078/820-10-55-100 Reference 12: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147482106/820-10-50-2 Reference 13: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (aa) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-2 Reference 14: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 45 -Paragraph 1 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481830/320-10-45-1 Reference 15: http://www.xbrl.org/2003/role/disclosureRef -Topic 942 -SubTopic 210 -Name Accounting Standards Codification -Section S99 -Paragraph 1 -Subparagraph (SX 210.9-03(6)) -Publisher FASB -URI https://asc.fasb.org/1943274/2147478546/942-210-S99-1 Reference 16: http://www.xbrl.org/2003/role/disclosureRef -Topic 326 -SubTopic 30 -Name Accounting Standards Codification -Section 45 -Paragraph 1 -Publisher FASB -URI https://asc.fasb.org/1943274/2147479130/326-30-45-1 + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtSecurities
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

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). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 9 -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-9 + Details
Name: | us-gaap_DebtSecuritiesAvailableForSaleRealizedGain
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

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). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 9 -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-9 + Details
Name: | us-gaap_DebtSecuritiesAvailableForSaleRealizedLoss
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

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. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-2 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-2 Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (aa) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-2 Reference 4: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (aaa) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-2 Reference 5: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-2 Reference 6: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-2 Reference 7: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-2 Reference 8: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 9: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 10: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 11: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 Reference 12: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org/1943274/2147481800/320-10-50-3 + Details
Name: | us-gaap_ScheduleOfAvailableForSaleSecuritiesLineItems
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Details
Name: | us-gaap_FinancialInstrumentAxis=us-gaap_DebtSecuritiesMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |