Statements of Comprehensive Income (Parenthetical) - USD ($) $ in Millions	12 Months Ended
Dec. 31, 2023	Dec. 31, 2022	Dec. 31, 2021
Statement of Comprehensive Income [Abstract]
Change in unrealized gains on securities, taxes	$ 0.0	$ 0.8	$ 0.3

Amount, after adjustment, of tax expense (benefit) for unrealized gain (loss) on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale) and tax expense (benefit) for unrealized gain (loss) on investment in debt security measured at amortized cost (held-to-maturity) from transfer to available-for-sale.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 220
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 10A
-Subparagraph (e)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482790/220-10-45-10A

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 220
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 10A
-Subparagraph (f)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482790/220-10-45-10A

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 220
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 12
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482790/220-10-45-12

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