Contracts in Progress - Remaining Performance Obligation (Details) $ in Millions	9 Months Ended
	Sep. 30, 2023 USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction
Performance obligations expected to be satisfied	$ 877.5
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-07-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction
Performance obligations expected to be satisfied	$ 610.8
Performance obligations expected to be satisfied, percentage	70.00%
Performance obligations expected to be satisfied, expected timing	12 months