Organization and Significant Accounting Policies, Research, Development and Patent Expenses (Details) - USD ($) $ in Millions	12 Months Ended
Dec. 31, 2024	Dec. 31, 2023	Dec. 31, 2022
Research, Development and Patent Expenses [Abstract]
Patent expenses	$ 5.3	$ 4.3	$ 4.7

Includes charges for amortization and write-downs of capitalized patent costs as well as legal fees for patent litigation and patent defense.

No definition available.