Financial Instruments (Details 3) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2023	Jun. 30, 2022	Jun. 30, 2023	Jun. 30, 2022
Investments, Debt and Equity Securities [Abstract]
Proceeds from maturities and sales	$ 1,275.5	$ 917.9	$ 1,682.2	$ 1,461.5
Realized gains	0.3	0.0	0.4	0.0
Realized losses	$ 1.4	$ 0.8	$ 2.1	$ 1.4

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).

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

- 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

+ Details

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

- References

No definition available.

+ Details

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

- Definition

Amount of cash inflow from sale, maturity, prepayment and call 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 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 11
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481830/320-10-45-11

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 11
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-11

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 12
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-12

+ Details

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