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

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
-Topic 340
-SubTopic 40
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479483/340-40-50-3

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