Note 16 - Leases (Details Textual) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2019	Dec. 31, 2018
Operating Lease, Expense	$ 18.9
Operating Lease, Weighted Average Remaining Lease Term (Year)	5 years 9 months 18 days
Operating Lease, Weighted Average Discount Rate, Percent	3.97%
Operating Leases, Future Minimum Payments Due, Total		$ 83.5
Operating Leases, Future Minimum Payments Due, Next Twelve Months		20.2
Operating Leases, Future Minimum Payments, Due in Two Years		17.8
Operating Leases, Future Minimum Payments, Due in Three Years		15.9
Operating Leases, Future Minimum Payments, Due in Four Years		13.3
Operating Leases, Future Minimum Payments, Due in Five Years		7.7
Operating Leases, Future Minimum Payments, Due Thereafter		$ 8.7
Royalty Requirements [Member]
Other Commitment, to be Paid, Year One	$ 2.1
Other Commitment, to be Paid, Year Two	1.5
Other Commitment, to be Paid, Year Three	1.2
Other Commitment, to be Paid, Year Four	0.9
Other Commitment, to be Paid, Year Five	0.8
Other Commitment, to be Paid, after Year Five	3.0
Other Current Liabilities [Member]
Operating Lease, Liability, Current	$ 17.0
Maximum [Member]
Lessee, Operating Lease, Term of Contract (Year)	23 years