Financial Instruments - Schedule of Investments Classified by Contractual Maturity Date (Details) $ in Millions	Jan. 31, 2023 USD ($)
Investments, All Other Investments [Abstract]
Due within 1 year	$ 90
Due in 1 year through 5 years	124
Due in 5 years through 10 years	6
Due after 10 years	7
Total	$ 227

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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 3A
-Subparagraph (c)
-URI https://asc.fasb.org/extlink&oid=126980459&loc=SL120269850-112803

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 5
-Subparagraph (f)(3)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27232-111563

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 5B
-Subparagraph (c)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=SL120269825-111563

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 3
-Subparagraph (c)
-URI https://asc.fasb.org/extlink&oid=126980459&loc=d3e62586-112803

+ 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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 5B
-Subparagraph (b)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=SL120269825-111563

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 3A
-Subparagraph (b)
-URI https://asc.fasb.org/extlink&oid=126980459&loc=SL120269850-112803

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 5
-Subparagraph (f)(2)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27232-111563

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 3
-Subparagraph (b)
-URI https://asc.fasb.org/extlink&oid=126980459&loc=d3e62586-112803

+ 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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 3A
-Subparagraph (d)
-URI https://asc.fasb.org/extlink&oid=126980459&loc=SL120269850-112803

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 5
-Subparagraph (f)(4)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27232-111563

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 3
-Subparagraph (d)
-URI https://asc.fasb.org/extlink&oid=126980459&loc=d3e62586-112803

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 5B
-Subparagraph (d)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=SL120269825-111563

+ 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://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 3
-URI https://asc.fasb.org/extlink&oid=126980459&loc=d3e62586-112803

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 3A
-URI https://asc.fasb.org/extlink&oid=126980459&loc=SL120269850-112803

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 5
-Subparagraph (f)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27232-111563

Reference 4: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 5B
-URI https://asc.fasb.org/extlink&oid=126970911&loc=SL120269825-111563

+ 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://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 5
-Subparagraph (f)(1)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27232-111563

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 5B
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=SL120269825-111563

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 3A
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126980459&loc=SL120269850-112803

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 3
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126980459&loc=d3e62586-112803

+ 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_InvestmentsAllOtherInvestmentsAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration