Revenue Costs to Obtain Contracts with Customers (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Apr. 30, 2023	Apr. 30, 2022	Apr. 30, 2023	Apr. 30, 2022	Jul. 31, 2022
Cost of Revenue [Abstract]
Capitalized Contract Cost, Net	$ 3.0	$ 1.3	$ 3.0	$ 1.3	$ 3.8
Capitalized Contract Cost, Amortization	$ 12.3	$ 11.8	$ 24.6	$ 21.9

Amount, after accumulated amortization and accumulated impairment loss, of asset recognized from cost incurred to obtain or fulfill contract with customer.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 340
-SubTopic 40
-Section 50
-Paragraph 3
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126905575&loc=SL49131252-203054

Name:	us-gaap_CapitalizedContractCostNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant