Employee Retirement Benefit Plans (Details Textual) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Employee Retirement Benefit Plans (Textual) [Abstract]
Maximum employee eligible contributions, percent	100.00%
US Based Employees
Employee Retirement Benefit Plans (Textual) [Abstract]
Total contributions under plans	$ 11.3	$ 12.8	$ 10.4
Non US Based Employees
Employee Retirement Benefit Plans (Textual) [Abstract]
Total contributions under plans	$ 4.1	$ 4.5	$ 4.5