XML 104 R91.htm IDEA: XBRL DOCUMENT v3.23.3
10-K Uncompleted Contracts - Remaining performance obligations (Details) - USD ($)
$ in Millions
Jun. 30, 2023
Dec. 31, 2022
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]    
Remaining performance obligation $ 1,040.0 $ 935.4
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-07-01    
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]    
Remaining performance obligation $ 960.9 $ 836.4
Remaining performance obligation (in months) 12 months 12 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-07-01    
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]    
Remaining performance obligation $ 58.8 $ 72.7
Remaining performance obligation (in months) 13 months  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-07-01 | Minimum    
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]    
Remaining performance obligation (in months)   13 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-07-01 | Maximum    
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]    
Remaining performance obligation (in months)   24 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-07-01    
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]    
Remaining performance obligation $ 21.2  
Remaining performance obligation (in months) 25 months  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-07-01    
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]    
Remaining performance obligation   $ 26.3
Remaining performance obligation (in months)