XML 56 R45.htm IDEA: XBRL DOCUMENT v3.25.3
Restricted Securities Available for Sale (Schedule of Cost and Estimated Fair Values of Debt Securities by Contractual Maturity) (Details) - USD ($)
$ in Millions
Sep. 30, 2025
Dec. 31, 2024
Investments, Debt and Equity Securities [Abstract]    
Within one year, cost $ 8.5 $ 9.5
Over one year to five years, cost 91.9 84.7
Over five years to ten years, cost 7.2 12.6
Over ten years, cost 0.0 0.0
Total restricted securities available for sale, cost 107.6 106.8
Within one year, fair value 8.5 9.4
Over one year to five years, fair value 93.1 84.3
Over five years to ten years, fair value 7.3 12.7
Over ten years, fair value 0.0 0.0
Debt Securities, Available-for-sale, Restricted $ 108.9 $ 106.4