Stockholders' Equity Reclassifications out of Accumulated Other Comprehensive Income (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2025	Jun. 30, 2024	Jun. 30, 2025	Jun. 30, 2024
Equity [Abstract]
Amounts reclassified from accumulated other comprehensive income (loss), net of tax	$ (17.4)	$ (9.4)	$ (64.3)	$ (16.0)

Amount after tax of reclassification adjustment from accumulated other comprehensive income for unrealized gain (loss) realized upon the sale of available-for-sale securities.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 45
-Paragraph 15
-SubTopic 10
-Topic 220
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482790/220-10-45-15

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 220
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 11
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482790/220-10-45-11

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

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

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