Other Retirement Plans (Details) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2023 USD ($) employee	Jun. 30, 2022 USD ($) employee	Jun. 30, 2023 USD ($) employee	Jun. 30, 2022 USD ($) employee
Covered Employees and Contributions, Multiemployer Plans [Line Items]
Multiemployer plan, employer contribution, cost	$ 37.8	$ 36.2	$ 73.0	$ 66.4
Pension
Covered Employees and Contributions, Multiemployer Plans [Line Items]
Multiemployer plan, employer contribution, cost	21.3	22.3	43.1	39.3
Other Multiemployer
Covered Employees and Contributions, Multiemployer Plans [Line Items]
Multiemployer plan, employer contribution, cost	$ 16.5	$ 13.9	$ 29.9	$ 27.1
Low
Covered Employees and Contributions, Multiemployer Plans [Line Items]
Multiemployer plans, covered employees (in number of employees) | employee	7,581	6,672	6,806	6,601
High
Covered Employees and Contributions, Multiemployer Plans [Line Items]
Multiemployer plans, covered employees (in number of employees) | employee	7,727	7,136	7,727	7,136