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