v3.25.2
Note 6 - Acquisitions - Amounts Assigned to Intangible Assets (Details)
$ in Millions
6 Months Ended
Jun. 30, 2025
USD ($)
Total intangible assets $ 9.8
Technology-Based Intangible Assets [Member]  
Weighted average useful life (Year) 5 years
Total intangible assets $ 2.5
Marketing-Related Intangible Assets [Member]  
Weighted average useful life (Year) 5 years
Total intangible assets $ 0.1
Customer-Related Intangible Assets [Member]  
Weighted average useful life (Year) 13 years
Total intangible assets $ 7.2