Leases: (Details Narrative) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2024	Sep. 30, 2023	Sep. 30, 2024	Sep. 30, 2023
Leases [Abstract]
Operating lease, weighted average remaining lease term	4 years 2 months 12 days		4 years 2 months 12 days
Operating lease, weighted average discount rate, percent	3.00%		3.00%
Operating leases, rent expense	$ 1.6	$ 1.5	$ 4.9	$ 4.5
Operating Lease, Payments			4.4	4.0
Noncash additions to operating lease assets			$ 1.2	$ 5.7