v3.25.2
Revenue from Contracts with Customers - Remaining Performance Obligations (Details) - USD ($)
$ in Millions
Jul. 31, 2025
Apr. 30, 2025
Jan. 31, 2025
Oct. 31, 2024
Jul. 31, 2024
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount $ 862.2 $ 829.3 $ 793.1 $ 716.8 $ 689.6
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
Revenue, remaining performance obligation, period         1 year
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       $ 458.2  
Revenue, remaining performance obligation, period       1 year  
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     $ 505.2    
Revenue, remaining performance obligation, period     1 year    
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   $ 522.2      
Revenue, remaining performance obligation, period   1 year      
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 $ 558.2       $ 251.3
Revenue, remaining performance obligation, period 1 year       4 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-11-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount       $ 258.6  
Revenue, remaining performance obligation, period       4 years  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-02-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount     $ 287.9    
Revenue, remaining performance obligation, period     4 years    
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-05-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount   $ 307.1      
Revenue, remaining performance obligation, period   4 years      
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-08-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount $ 304.0        
Revenue, remaining performance obligation, period 4 years