v3.24.3
Revenue (Disaggregation of Revenue - Geographic Theater) (Details) - USD ($)
$ in Millions
3 Months Ended
Oct. 31, 2024
Oct. 31, 2023
Disaggregation of Revenue    
Revenue: $ 2,138.8 $ 1,878.1
United States    
Disaggregation of Revenue    
Revenue: 1,344.1 1,204.3
Other Americas    
Disaggregation of Revenue    
Revenue: 98.0 82.3
Total Americas    
Disaggregation of Revenue    
Revenue: 1,442.1 1,286.6
Europe, the Middle East, and Africa (“EMEA”)    
Disaggregation of Revenue    
Revenue: 441.4 364.9
Asia Pacific and Japan (“APAC”)    
Disaggregation of Revenue    
Revenue: $ 255.3 $ 226.6