Debt Securities, Available-for-sale, Allowance for Credit Losses Rollforward (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2020	Jun. 30, 2020
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	$ 29.8	29.8
All Other Corporate Bonds
Debt Securities, Available-for-sale, Allowance for Credit Loss
Debt Securities, Available-for-sale, Allowance for Credit Loss, Beginning Balance	48.0	0.0
Debt Securities, Available-for-sale, Credit losses on securities for which credit losses were not previously recorded	7.6	55.6
Debt Securities, Available-for-sale, Allowance for Credit Loss, Change in allowance due to change in intent to hold securities to maturity	(20.8)	(20.8)
Debt Securities, Available-for-sale, Change in allowance on securities with allowance recorded in previous period	(5.0)	(5.0)
Debt Securities, Available-for-sale, Allowance for Credit Loss, Ending Balance	$ 29.8	$ 29.8

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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 50
-Paragraph 9
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=121582814&loc=SL82922900-210455

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 50
-Paragraph 9
-Subparagraph (i)
-URI http://asc.fasb.org/extlink&oid=121582814&loc=SL82922900-210455

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (aaa)
-URI http://asc.fasb.org/extlink&oid=121645371&loc=d3e27161-111563

Reference 4: 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

+ 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

+ Details

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

- Definition

Amount of expense (reversal of expense) for 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), not intended to be sold and not more likely than not will be required to sell before recovery of amortized cost basis, with previously recorded allowance.

+ References

+ Details

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

- Definition

Amount of expense (reversal of expense) for expected credit loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), from change in present value of expected cash flows.

+ References

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 50
-Paragraph 8
-URI http://asc.fasb.org/extlink&oid=121582814&loc=SL82922897-210455

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleChangeInPresentValueExpenseReversal
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

No definition available.

+ 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_AllOtherCorporateBondsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: