XML 87 R77.htm IDEA: XBRL DOCUMENT v3.25.0.1
Revenue - Schedule of Revenues Expected to be Recognized in Future Related to Performance Obligations (Details)
$ in Millions
Dec. 31, 2024
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Remaining Performance Obligations $ 1,726.0
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-01-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Remaining Performance Obligations $ 618.4
Remaining Performance Obligations, performance period 3 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-04-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Remaining Performance Obligations $ 783.7
Remaining Performance Obligations, performance period 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-04-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Remaining Performance Obligations $ 184.9
Remaining Performance Obligations, performance period 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-04-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Remaining Performance Obligations $ 139.0
Remaining Performance Obligations, performance period