Debt Securities, Available-for-sale, Allowance for Credit Losses Rollforward (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2023	Jun. 30, 2022	Jun. 30, 2023	Jun. 30, 2022
Debt Securities, Available-for-sale, Allowance for Credit Loss
Debt Securities, Available-for-sale, Allowance for Credit Loss, Beginning Balance			$ 0.0
Debt Securities, Available-for-sale, Allowance for Credit Loss, Ending Balance	$ 0.0		0.0
Public Utilities
Debt Securities, Available-for-sale, Allowance for Credit Loss
Debt Securities, Available-for-sale, Allowance for Credit Loss, Beginning Balance	0.0	$ 4.1	0.0	$ 0.0
Debt Securities, Available-for-sale, Credit losses on securities for which credit losses were not previously recorded	0.0	0.0	0.0	4.1
Debt Securities, Available-for-sale, Allowance for Credit Loss, Ending Balance	$ 0.0	$ 4.1	$ 0.0	$ 4.1

Amount of allowance for credit 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
-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 2: 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

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-9

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Subparagraph (i)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-9

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleAllowanceForCreditLoss
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of expense for credit loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), for which no credit loss was previously recorded.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-9

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleAllowanceForCreditLossNotPreviouslyRecorded
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- 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 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-9

+ Details

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

- Details

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_PublicUtilityBondsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: