XML 99 R70.htm IDEA: XBRL DOCUMENT v3.25.0.1
Fair Value Measurements - Credit Ratings (Details) - USD ($)
$ in Millions
Dec. 31, 2024
Dec. 31, 2023
Debt Securities, Held-to-maturity, Credit Quality Indicator [Line Items]    
Debt securities, held-to-maturity, amortized cost, before allowance for credit loss $ 63.6 $ 63.9
AA+    
Debt Securities, Held-to-maturity, Credit Quality Indicator [Line Items]    
Debt securities, held-to-maturity, amortized cost, before allowance for credit loss 13.2 13.3
AA-    
Debt Securities, Held-to-maturity, Credit Quality Indicator [Line Items]    
Debt securities, held-to-maturity, amortized cost, before allowance for credit loss 10.3 10.4
A    
Debt Securities, Held-to-maturity, Credit Quality Indicator [Line Items]    
Debt securities, held-to-maturity, amortized cost, before allowance for credit loss 23.3 13.2
A-    
Debt Securities, Held-to-maturity, Credit Quality Indicator [Line Items]    
Debt securities, held-to-maturity, amortized cost, before allowance for credit loss 6.8 17.0
BBB+    
Debt Securities, Held-to-maturity, Credit Quality Indicator [Line Items]    
Debt securities, held-to-maturity, amortized cost, before allowance for credit loss $ 10.0 $ 10.0