Quantitative Information Regarding Significant Unobservable Inputs (Details) $ in Millions		Jun. 30, 2026 USD ($)	Dec. 31, 2025 USD ($)
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Debt Securities, Available-for-Sale		$ 34,443.6	$ 33,056.6
Equity Securities		21.0	20.0
All Other Corporate Bonds
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Debt Securities, Available-for-Sale		23,465.5	22,462.1
Mortgage/Asset-backed Securities
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Debt Securities, Available-for-Sale	[1],[2]	1,479.5	1,179.3
Fair Value, Inputs, Level 3 | Discounted Cash Flow | Embedded Derivative in Modified Coinsurance Arrangement
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Embedded Derivative, Fair Value of Embedded Derivative Asset	[3]	$ 15.1	$ 17.8
Fair Value, Inputs, Level 3 | Discounted Cash Flow | Weighted Average | Spread of Swap Curve | Embedded Derivative in Modified Coinsurance Arrangement
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Embedded Derivative Liability, Measurement Input	[3]	(0.0052)	(0.0041)
Fair Value, Inputs, Level 3 | All Other Corporate Bonds | Market Approach
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Debt Securities, Available-for-Sale	[4]	$ 4.7	$ 8.3
Fair Value, Inputs, Level 3 | Mortgage/Asset-backed Securities | Market Approach
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Debt Securities, Available-for-Sale	[4]	3.9
Fair Value, Inputs, Level 3 | Perpetual Preferred and Equity Securities | Market Approach
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Equity Securities	[4]	$ 20.9	$ 19.8

[1] 1Includes credit-tranched securities collateralized by loan obligations, auto loans, and other asset types.

[2] Includes credit-tranched securities collateralized by loan obligations, auto loans, and other asset types

[3] Represents various actuarial assumptions required to derive the liability cash flows. Fair value of embedded derivative is most often driven by the change in the weighted average credit spread to the swap curve for the assets backing the hypothetical loan

[4] Represents a decision to price based on par value, cost, owner's equity, or the price of the most recent capital funding round when limited data is available