v3.22.4
Revenue Recognition - Narrative (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jan. 31, 2023
Jan. 31, 2022
Jan. 31, 2023
Jan. 31, 2022
Jul. 31, 2022
Concentration Risk [Line Items]          
Deferred revenue $ 1,111.9   $ 1,111.9   $ 1,021.1
Contract with customer, liability, revenue recognized     603.8 $ 378.6  
Revenue, remaining performance obligation 2,809.2   2,809.2    
Accrued sales commissions $ 23.5   $ 23.5   $ 47.2
Minimum          
Concentration Risk [Line Items]          
Contract with customer, term of contract     1 year    
Maximum          
Concentration Risk [Line Items]          
Contract with customer, term of contract     3 years    
Transferred over Time | Product Concentration Risk | Subscription and Support | Revenue Benchmark          
Concentration Risk [Line Items]          
Concentration risk percentage 97.00% 97.00% 97.00% 97.00%