XML 40 R29.htm IDEA: XBRL DOCUMENT v3.25.2

Investments Fixed Income Securities Stratified by Contractual Maturity (Details) - USD ($) $ in Millions	Jun. 30, 2025	Dec. 31, 2024
Investments [Abstract]
Available for sale, Due in one year or less (amortized cost)	$ 1,371.4
Available for sale, Due after one year through five years (amortized cost)	5,941.9
Available for sale, Due after five years through ten years (amortized cost)	4,497.1
Available for sale, Due after ten years (amortized cost)	400.5
Fixed income securities (amortized cost)	12,210.9
Available for sale, Due in one year or less (estimated fair value)	1,369.2
Available for sale, Due after one year through five years (estimated fair value)	6,002.9
Available for sale, Due after five years through ten years (estimated fair value)	4,582.4
Available for sale, Due after ten years (estimated fair value)	402.6
Available for sale, Fixed income securities (estimated fair value)	$ 12,357.2	$ 12,091.5

X

- Definition

Amortized cost 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/2003/role/disclosureRef
-Topic 944
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(1))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478777/944-210-S99-1

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

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

+ Details

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

X

- Definition

Amortized cost of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in sixth through tenth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

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

+ Details

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

X

- Definition

Fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in sixth through tenth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3A
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A

+ Details

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

X

- Definition

Amortized cost of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in second through fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

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

+ Details

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

X

- Definition

Fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in second through fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3A
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A

+ Details

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

X

- Definition

Amortized cost of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing after tenth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

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

+ Details

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

X

- Definition

Fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing after tenth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

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

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

+ Details

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

X

- Definition

Amortized cost of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

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

+ Details

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

X

- Definition

Fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3A
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A

+ Details

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

X

- Definition

Amount 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/2003/role/exampleRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 103
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482078/820-10-55-103

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 100
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482078/820-10-55-100

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (bbb)(2)(i)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

Reference 4: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (bbb)(2)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

Reference 5: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (bbb)(1)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

Reference 6: http://www.xbrl.org/2003/role/disclosureRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

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

Reference 8: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481830/320-10-45-1

Reference 9: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(6))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478546/942-210-S99-1

Reference 10: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479130/326-30-45-1

+ Details

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

X

- References

No definition available.

+ Details

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