XML 77 R67.htm IDEA: XBRL DOCUMENT v3.23.2
Revenue from contracts with customers Remaining performance obligations (Details 3)
$ in Millions
Jun. 30, 2023
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, Remaining Performance Obligation, Amount $ 2,500.0
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-07-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, Remaining Performance Obligation, Amount $ 1,600.0
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 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]  
Revenue, Remaining Performance Obligation, Amount $ 384.0
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 13 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]  
Revenue, Remaining Performance Obligation, Amount $ 544.0
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 25 months