XML 59 R48.htm IDEA: XBRL DOCUMENT v3.24.2.u1
Revenue from Contracts with Customers - Remaining Performance Obligations (Details) - USD ($)
$ in Millions
Jul. 31, 2024
Apr. 30, 2024
Jan. 31, 2024
Oct. 31, 2023
Jul. 31, 2023
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount $ 689.6 $ 657.3 $ 639.2 $ 560.1 $ 523.5
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-08-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount         $ 353.3
Revenue, remaining performance obligation, period         1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-11-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount       $ 369.9  
Revenue, remaining performance obligation, period       1 year  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-02-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount     $ 409.1    
Revenue, remaining performance obligation, period     1 year    
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-05-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount   $ 419.8      
Revenue, remaining performance obligation, period   1 year      
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-08-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount $ 438.3       $ 170.2
Revenue, remaining performance obligation, period 1 year       4 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-11-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount       $ 190.2  
Revenue, remaining performance obligation, period       4 years  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-02-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount     $ 230.1    
Revenue, remaining performance obligation, period     4 years    
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-05-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount   $ 237.5      
Revenue, remaining performance obligation, period   4 years      
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-08-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount $ 251.3        
Revenue, remaining performance obligation, period 4 years