Note 10 - Acquisitions - Amounts Assigned to Intangible Assets (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2023	Dec. 31, 2022	Dec. 31, 2021
Weighted average useful life (Year)			6 years
Total intangible assets	$ 33.5		$ 6.0
The 2021 Acquisitions [Member]
Total intangible assets		$ 172.7
2020 Acquisitions [Member]
Total intangible assets			$ 109.4
Technology-Based Intangible Assets [Member]
Weighted average useful life (Year)	5 years
Total intangible assets	$ 9.9
Technology-Based Intangible Assets [Member] | The 2021 Acquisitions [Member]
Weighted average useful life (Year)		6 years
Total intangible assets		$ 48.5
Technology-Based Intangible Assets [Member] | 2020 Acquisitions [Member]
Weighted average useful life (Year)			5 years
Total intangible assets			$ 21.1
Marketing-Related Intangible Assets [Member]
Weighted average useful life (Year)	2 years
Total intangible assets	$ 0.5
Marketing-Related Intangible Assets [Member] | The 2021 Acquisitions [Member]
Weighted average useful life (Year)		4 years
Total intangible assets		$ 2.0
Marketing-Related Intangible Assets [Member] | 2020 Acquisitions [Member]
Weighted average useful life (Year)			3 years
Total intangible assets			$ 1.1
Customer-Related Intangible Assets [Member]
Weighted average useful life (Year)	13 years
Total intangible assets	$ 23.1
Customer-Related Intangible Assets [Member] | The 2021 Acquisitions [Member]
Weighted average useful life (Year)		13 years
Total intangible assets		$ 122.2
Customer-Related Intangible Assets [Member] | 2020 Acquisitions [Member]
Weighted average useful life (Year)			13 years
Total intangible assets			$ 81.2