Investments in Available-for-Sale securities (Details) - USD ($) $ in Millions	Sep. 30, 2023	Dec. 31, 2022
Investments in Available-for-Sale Securities
Unrealized losses owned for less than 12 months	$ 7.4	$ 22.6
Unrealized losses owed for over a year	$ 0.0	$ 0.0

Amount of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for more than 12 months, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 55
-Paragraph 8
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479081/326-30-55-8

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 7
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-7

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

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