Revenue Costs to Obtain Contracts with Customers (Details) $ in Millions |
3 Months Ended | 9 Months Ended |
|---|---|---|
|
Apr. 30, 2021
USD ($)
|
Apr. 30, 2021
USD ($)
|
|
| Cost of Revenue [Abstract] | ||
| Capitalized Contract Cost, Net | $ 1.0 | $ 1.0 |
| Capitalized Contract Cost, Amortization | $ 8.6 | $ 16.4 |