XML 57 R46.htm IDEA: XBRL DOCUMENT v3.20.2
Revenues Costs to Obtain Contracts with Customers (Details) - USD ($)
$ in Millions
12 Months Ended
Jul. 31, 2020
Jul. 31, 2019
Jul. 31, 2018
Costs to Obtain Contracts with Customers [Abstract]      
Capitalized Contract Cost, Net $ 3.5    
Capitalized Contract Cost, Amortization $ 11.0 $ 10.6 $ 8.3