v3.25.2
Debt - Revolving Loan Arrangements (Details)
$ in Millions
Jun. 30, 2025
USD ($)
Revolving lines of credit  
Total Amount Committed by Lenders $ 1,084.0
Outstanding Borrowings 122.1
Outstanding Letters of Credit 184.7
Total Amount Available $ 777.2
Amended and Restated Credit Agreement | Domestic Line Of Credit  
Revolving lines of credit  
Weighted Average Interest Rate (as a percent) 0.43%
Total Amount Committed by Lenders $ 900.0
Outstanding Borrowings 122.1
Outstanding Letters of Credit 0.7
Total Amount Available 777.2
Bank guarantees and working capital line  
Revolving lines of credit  
Total Amount Committed by Lenders 184.0
Outstanding Letters of Credit $ 184.0