Revenue Costs to Obtain Contracts with Customers (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Apr. 30, 2024	Apr. 30, 2024	Jul. 31, 2023	Apr. 30, 2023
Cost of Revenue [Abstract]
Capitalized Contract Cost, Net	$ 2.3	$ 2.3	$ 5.1	$ 3.0
Capitalized Contract Cost, Amortization	$ 13.9	$ 13.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
-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