Debt - Revolving Loan Arrangements (Details) $ in Millions	Jun. 30, 2023 USD ($)
Revolving lines of credit
Total Amount Committed by Lenders	$ 740.4
Outstanding Letters of Credit	140.8
Total Amount Available	$ 599.6
2019 Credit Agreement | Domestic Line Of Credit
Revolving lines of credit
Weighted Average Interest Rate (as a percent)	0.15%
Total Amount Committed by Lenders	$ 600.0
Outstanding Letters of Credit	0.4
Total Amount Available	599.6
Bank guarantees and working capital line
Revolving lines of credit
Total Amount Committed by Lenders	140.4
Outstanding Letters of Credit	$ 140.4