Commitment and Contingencies (Details) $ in Millions	Jul. 31, 2023 USD ($)
Commitments and Contingencies Disclosure [Abstract]
Aggregate purchase commitments	$ 750

Amount of the unrecorded obligation to transfer funds in the future for fixed or minimum amounts or quantities of goods or services at fixed or minimum prices (for example, as in take-or-pay contracts or throughput contracts).

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 440
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482648/440-10-50-4

Name:	us-gaap_UnrecordedUnconditionalPurchaseObligationBalanceSheetAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant