Debt - Revolving Loan Arrangements (Details) - USD ($) $ in Millions	Dec. 31, 2019	Dec. 11, 2019
Revolving lines of credit
Total Amount Committed by Lenders	$ 730.7
Outstanding Letters of Credit	130.7
Total Amounts Available	$ 600.0
2019 Credit Agreement
Revolving lines of credit
Total Amount Committed by Lenders		$ 600.0
2019 Credit Agreement | US Dollar revolving loan
Revolving lines of credit
Weighted Average Interest Rate (as a percent)	0.15%
Total Amount Committed by Lenders	$ 600.0
Total Amounts Available	600.0
Bank guarantees and working capital line
Revolving lines of credit
Total Amount Committed by Lenders	130.7
Outstanding Letters of Credit	$ 130.7