Revenue Costs to Obtain Contracts with Customers (Details) $ in Millions	3 Months Ended	6 Months Ended
Jan. 31, 2023 USD ($)	Jan. 31, 2023 USD ($)
Cost of Revenue [Abstract]
Capitalized Contract Cost, Net	$ 13.0	$ 13.0
Capitalized Contract Cost, Amortization	$ 12.3	$ 12.3

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