XML 57 R45.htm IDEA: XBRL DOCUMENT
v3.20.2

Marketable Securities Held in Trusts - Maturity Dates and Realized Gain and Loss (Details) - Debt securities - USD ($) $ in Millions | 3 Months Ended | 6 Months Ended
--- | --- | ---
Jun. 30, 2020 | Jun. 30, 2019 | Jun. 30, 2020 | Jun. 30, 2019
Debt Securities, Available-for-sale [Line Items] |  |  |  |
Available-for-sale Securities, Gross Realized Gains | $ 5.7 |  | $ 9.4 | $ 3.1
Gross realized losses | 0.7 | $ 0.4 | 0.9 | $ 1.2
Available-for-sale Securities, Debt Maturities, Fair Value, Fiscal Year Maturity |  |  |  |
Available-for-sale debt maturities due within one year, fair value | 26.9 |  | 26.9 |
Available-for-sale debt maturities, after 1 but within 5 years, fair value | 239.7 |  | 239.7 |
Available-for-sale debt maturities, after 5 but within 10 years, fair value | 401.9 |  | 401.9 |
Available-for-sale debt maturities, after 10 years, fair value | 38.7 |  | 38.7 |
Debt Securities, Available-for-sale | $ 707.2 |  | $ 707.2 |

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 -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 50 -Paragraph 3 -Subparagraph (c) -URI http://asc.fasb.org/extlink&oid=121645371&loc=d3e27198-111563 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 942 -SubTopic 320 -Section 50 -Paragraph 3A -Subparagraph (c) -URI http://asc.fasb.org/extlink&oid=120252992&loc=SL120269850-112803 Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 50 -Paragraph 2 -Subparagraph (d) -URI http://asc.fasb.org/extlink&oid=121645371&loc=d3e27161-111563 + 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://fasb.org/us-gaap/role/ref/legacyRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 50 -Paragraph 2 -Subparagraph (d) -URI http://asc.fasb.org/extlink&oid=121645371&loc=d3e27161-111563 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 50 -Paragraph 3 -Subparagraph (b) -URI http://asc.fasb.org/extlink&oid=121645371&loc=d3e27198-111563 Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 942 -SubTopic 320 -Section 50 -Paragraph 3A -Subparagraph (b) -URI http://asc.fasb.org/extlink&oid=120252992&loc=SL120269850-112803 + 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 -Publisher FASB -Name Accounting Standards Codification -Topic 942 -SubTopic 320 -Section 50 -Paragraph 3A -Subparagraph (d) -URI http://asc.fasb.org/extlink&oid=120252992&loc=SL120269850-112803 Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 50 -Paragraph 2 -Subparagraph (d) -URI http://asc.fasb.org/extlink&oid=121645371&loc=d3e27161-111563 Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 50 -Paragraph 3 -Subparagraph (d) -URI http://asc.fasb.org/extlink&oid=121645371&loc=d3e27198-111563 + 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 -Publisher FASB -Name Accounting Standards Codification -Topic 942 -SubTopic 320 -Section 50 -Paragraph 3A -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=120252992&loc=SL120269850-112803 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 50 -Paragraph 3 -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=121645371&loc=d3e27198-111563 Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 50 -Paragraph 2 -Subparagraph (d) -URI http://asc.fasb.org/extlink&oid=121645371&loc=d3e27161-111563 + 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/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 942 -SubTopic 210 -Section S99 -Paragraph 1 -Subparagraph (SX 210.9-03(6)) -URI http://asc.fasb.org/extlink&oid=120398452&loc=d3e534808-122878 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 326 -SubTopic 30 -Section 45 -Paragraph 1 -URI http://asc.fasb.org/extlink&oid=121558606&loc=SL82898722-210454 Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 45 -Paragraph 1 -Subparagraph (b) -URI http://asc.fasb.org/extlink&oid=121553693&loc=d3e26610-111562 Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 50 -Paragraph 2 -Subparagraph (aa) -URI http://asc.fasb.org/extlink&oid=121645371&loc=d3e27161-111563 + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtSecurities
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition This item represents the gross profit realized on the sale of debt or equity securities categorized neither as held-to-maturity nor trading securities. + References No definition available. + Details
Name: | us-gaap_AvailableForSaleSecuritiesGrossRealizedGains
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition This item represents the gross loss realized on the sale of debt or equity securities categorized neither as held-to-maturity nor trading securities. + References No definition available. + Details
Name: | us-gaap_AvailableForSaleSecuritiesGrossRealizedLosses
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 No definition available. + 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: |