XML 53 R42.htm IDEA: XBRL DOCUMENT v3.25.1
Note 2 - Investments - Schedule of Debt Securities, Held-to-Maturity Credit Quality Indicators (Details) - USD ($)
$ in Millions
Mar. 31, 2025
Dec. 31, 2024
Debt Securities, Held-to-Maturity, Amortized Cost $ 10.5 $ 8.5
Standard & Poor's, BBB/BBB Minus Rating [Member]    
Debt Securities, Held-to-Maturity, Amortized Cost $ 10.5 $ 8.5