Quarterly report pursuant to Section 13 or 15(d)

Note 6 - Leases (Details Textual)

v3.23.2
Note 6 - Leases (Details Textual) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jun. 30, 2023
Jun. 30, 2022
Jun. 30, 2023
Jun. 30, 2022
Dec. 31, 2022
Lessee, Operating Lease, Remaining Lease Term (Year) 10 years   10 years    
Operating Lease, Right-of-Use Asset $ 19.4   $ 19.4   $ 18.8
Operating Lease, Liability $ 20.3   $ 20.3   $ 19.6
Operating Lease, Weighted Average Remaining Lease Term (Year) 6 years 2 months 12 days   6 years 2 months 12 days    
Operating Lease, Weighted Average Discount Rate, Percent 3.02%   3.02%    
Operating Lease, Payments $ 1.3 $ 1.1 $ 2.5 $ 2.1