v3.24.3
Revenue (Disaggregation of Revenue - Type of Revenue) (Details) - USD ($)
$ in Millions
3 Months Ended
Oct. 31, 2024
Oct. 31, 2023
Revenue:    
Revenue: $ 2,138.8 $ 1,878.1
Product    
Revenue:    
Revenue: 353.8 341.1
Subscription    
Revenue:    
Revenue: 1,191.8 988.3
Support    
Revenue:    
Revenue: 593.2 548.7
Subscription and support    
Revenue:    
Revenue: $ 1,785.0 $ 1,537.0