Restricted Securities Available for Sale (Schedule of Cost and Estimated Fair Values of Debt Securities by Contractual Maturity) - USD ($) $ in Millions	Sep. 30, 2022	Dec. 31, 2021
Investments, Debt and Equity Securities [Abstract]
Within one year, cost	$ 5.3	$ 2.9
Over one year to five years, cost	60.5	56.9
Over five years to ten years, cost	6.5	2.1
Over ten years, cost	0.1	0.1
Total restricted securities available for sale, cost	72.4	62.0
Within one year, fair value	5.2	3.0
Over one year to five years, fair value	56.6	57.0
Over five years to ten years, fair value	6.1	2.0
Over ten years, fair value	0.1	0.1
Debt Securities, Available-for-sale, Restricted	$ 68.0	$ 62.1

Amortized cost 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/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27161-111563

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 45
-Paragraph 1
-URI https://asc.fasb.org/extlink&oid=124258926&loc=SL82898722-210454

+ Details

Name:	us-gaap_AvailableForSaleDebtSecuritiesAmortizedCostBasis
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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 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://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 3
-Subparagraph (c)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27198-111563

+ Details

Name:	us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterFiveThroughTenYearsAmortizedCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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 https://asc.fasb.org/extlink&oid=126970911&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 https://asc.fasb.org/extlink&oid=126980459&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 https://asc.fasb.org/extlink&oid=126970911&loc=d3e27161-111563

+ Details

Name:	us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterFiveThroughTenYearsFairValue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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 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 3
-Subparagraph (b)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27198-111563

+ Details

Name:	us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterOneThroughFiveYearsAmortizedCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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 https://asc.fasb.org/extlink&oid=126970911&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 https://asc.fasb.org/extlink&oid=126970911&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 https://asc.fasb.org/extlink&oid=126980459&loc=SL120269850-112803

+ Details

Name:	us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterOneThroughFiveYearsFairValue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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 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://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 3
-Subparagraph (d)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27198-111563

+ Details

Name:	us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterTenYearsAmortizedCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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 https://asc.fasb.org/extlink&oid=126980459&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 https://asc.fasb.org/extlink&oid=126970911&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 https://asc.fasb.org/extlink&oid=126970911&loc=d3e27198-111563

+ Details

Name:	us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterTenYearsFairValue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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 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 3
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27198-111563

+ Details

Name:	us-gaap_AvailableForSaleSecuritiesDebtMaturitiesWithinOneYearAmortizedCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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 https://asc.fasb.org/extlink&oid=126980459&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 https://asc.fasb.org/extlink&oid=126970911&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 https://asc.fasb.org/extlink&oid=126970911&loc=d3e27161-111563

+ Details

Name:	us-gaap_AvailableForSaleSecuritiesDebtMaturitiesWithinOneYearFairValue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of restricted 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 954
-SubTopic 210
-Section 45
-Paragraph 4
-URI https://asc.fasb.org/extlink&oid=120413173&loc=SL6242262-115580

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 860
-SubTopic 30
-Section 50
-Paragraph 1A
-Subparagraph (b)(1)(i)
-URI https://asc.fasb.org/extlink&oid=109249958&loc=SL6224234-111729

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 954
-SubTopic 210
-Section 50
-Paragraph 2
-URI https://asc.fasb.org/extlink&oid=127002003&loc=SL6242269-115581

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleRestricted
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- References

No definition available.

+ Details

Name:	us-gaap_InvestmentsDebtAndEquitySecuritiesAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration