Financial Instruments - Schedule of Contractual Maturities of Available for-sale Debt Securities (Details) $ in Millions	Jul. 31, 2023 USD ($)
Amortized Cost
Due in one year	$ 3
Fair Value
Due in one year	$ 3

Fair value of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date, maturing in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3A
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480832/942-320-50-3A

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