Other Retirement Plans (Details) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2023 USD ($) employee	Sep. 30, 2022 USD ($) employee	Sep. 30, 2023 USD ($) employee	Sep. 30, 2022 USD ($) employee
Covered Employees and Contributions, Multiemployer Plans [Line Items]
Multiemployer plan, employer contribution, cost	$ 50.0	$ 37.5	$ 123.0	$ 103.9
Pension
Covered Employees and Contributions, Multiemployer Plans [Line Items]
Multiemployer plan, employer contribution, cost	34.8	23.0	77.9	62.3
Other Multiemployer
Covered Employees and Contributions, Multiemployer Plans [Line Items]
Multiemployer plan, employer contribution, cost	$ 15.2	$ 14.5	$ 45.1	$ 41.6
Low
Covered Employees and Contributions, Multiemployer Plans [Line Items]
Multiemployer plans, covered employees (in number of employees) | employee	7,760	6,774	6,806	6,601
High
Covered Employees and Contributions, Multiemployer Plans [Line Items]
Multiemployer plans, covered employees (in number of employees) | employee	11,025	7,136	11,025	7,136