v3.10.0.1
Revenue (Disaggregation of Revenue - Geographic Theater) (Details) - USD ($)
$ in Millions
3 Months Ended
Oct. 31, 2018
Oct. 31, 2017
Disaggregation of Revenue    
Revenue $ 656.0 $ 501.8
United States    
Disaggregation of Revenue    
Revenue 415.9 326.0
Other Americas    
Disaggregation of Revenue    
Revenue 34.3 23.3
Total Americas    
Disaggregation of Revenue    
Revenue 450.2 349.3
EMEA    
Disaggregation of Revenue    
Revenue 127.7 94.7
Asia Pacific    
Disaggregation of Revenue    
Revenue $ 78.1 $ 57.8