v3.22.2.2
Revenues Costs to Obtain Contracts with Customers (Details) - USD ($)
$ in Millions
12 Months Ended
Jul. 31, 2022
Jul. 31, 2021
Jul. 31, 2020
Costs to Obtain Contracts with Customers [Abstract]      
Capitalized Contract Cost, Net $ 3.8    
Capitalized Contract Cost, Amortization $ 22.1 $ 17.8 $ 11.0