v3.25.2
Restricted Securities Available for Sale (Schedule of Cost and Estimated Fair Values of Debt Securities by Contractual Maturity) (Details) - USD ($)
$ in Millions
Jun. 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 90.0 84.7
Over five years to ten years, cost 7.4 12.6
Over ten years, cost 0.0 0.0
Total restricted securities available for sale, cost 105.9 106.8
Within one year, fair value 8.5 9.4
Over one year to five years, fair value 91.1 84.3
Over five years to ten years, fair value 7.5 12.7
Over ten years, fair value 0.0 0.0
Debt Securities, Available-for-sale, Restricted $ 107.1 $ 106.4