v3.26.1
Revenue from Contracts with Customers - Remaining Performance Obligations (Details) - USD ($)
$ in Millions
Apr. 30, 2026
Jan. 31, 2026
Oct. 31, 2025
Jul. 31, 2025
Apr. 30, 2025
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount $ 1,079.2 $ 1,033.0 $ 891.4 $ 862.2 $ 829.3
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       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  
Revenue, remaining performance obligation, period       1 year  
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     $ 572.7    
Revenue, remaining performance obligation, period     1 year    
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   $ 642.1      
Revenue, remaining performance obligation, period   1 year      
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 $ 670.3       $ 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  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-11-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount     $ 318.7    
Revenue, remaining performance obligation, period     4 years    
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-02-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount   $ 390.9      
Revenue, remaining performance obligation, period   4 years      
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-05-01          
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]          
Revenue, remaining performance obligation, amount $ 408.9        
Revenue, remaining performance obligation, period 4 years