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 |