Debt - Revolving Loan Arrangements (Details) $ in Millions	Sep. 30, 2023 USD ($)
Revolving lines of credit
Total Amount Committed by Lenders	$ 743.7
Outstanding Letters of Credit	144.1
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	143.7
Outstanding Letters of Credit	$ 143.7