Financial Instruments - Schedule of Investments Classified by Contractual Maturity Date (Details) $ in Millions	Jul. 31, 2023 USD ($)
Investments, Debt and Equity Securities [Abstract]
Due within 1 year	$ 331
Due in 1 year through 5 years	212
Due in 5 years through 10 years	16
Due after 10 years	19
Total	$ 578

Fair value of investment in debt security measured at amortized cost (held-to-maturity), with single maturity date and allocated without single maturity date, maturing in sixth through tenth 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 5B
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5B

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

Reference 3: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (f)(3)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

Reference 4: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480832/942-320-50-3

+ Details

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

- Definition

Fair value of investment in debt security measured at amortized cost (held-to-maturity), with single maturity date and allocated without single maturity date, maturing in second through fifth 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).

+ References

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

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

Reference 3: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (f)(2)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

Reference 4: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480832/942-320-50-3

+ Details

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

- Definition

Fair value of investment in debt security measured at amortized cost (held-to-maturity), with single maturity date and allocated without single maturity date, maturing after tenth 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).

+ References

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

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

Reference 3: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (f)(4)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

Reference 4: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480832/942-320-50-3

+ Details

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

- Definition

Fair value of investment in debt security measured at amortized cost (held-to-maturity), with single maturity date and allocated without single maturity date.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5B
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5B

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

Reference 3: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (f)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

Reference 4: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480832/942-320-50-3

+ Details

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

- Definition

Fair value of investment in debt security measured at amortized cost (held-to-maturity), 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).

+ References

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

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

Reference 3: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (f)(1)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-5

Reference 4: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480832/942-320-50-3

+ Details

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

- References

No definition available.

+ Details

Name:	us-gaap_InvestmentsDebtAndEquitySecuritiesAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration