XML 63 R43.htm IDEA: XBRL DOCUMENT v3.25.2
Fair Value Measurements - Credit Ratings (Details) - USD ($)
$ in Millions
Jun. 30, 2025
Dec. 31, 2024
Debt Securities, Held-to-maturity, Credit Quality Indicator [Line Items]    
Debt securities, held-to-maturity $ 53.4 $ 63.6
AA+    
Debt Securities, Held-to-maturity, Credit Quality Indicator [Line Items]    
Debt securities, held-to-maturity 13.2 13.2
AA-    
Debt Securities, Held-to-maturity, Credit Quality Indicator [Line Items]    
Debt securities, held-to-maturity 10.5 10.3
A    
Debt Securities, Held-to-maturity, Credit Quality Indicator [Line Items]    
Debt securities, held-to-maturity 13.1 23.3
A-    
Debt Securities, Held-to-maturity, Credit Quality Indicator [Line Items]    
Debt securities, held-to-maturity 6.6 6.8
BBB+    
Debt Securities, Held-to-maturity, Credit Quality Indicator [Line Items]    
Debt securities, held-to-maturity $ 10.0 $ 10.0