Borrowing Arrangements - Future Minimum Payments For Borrowings (Details) $ in Millions	Jan. 31, 2023 USD ($)
Debt Disclosure [Abstract]
2024	$ 0
2025	0
2026	300
2027	0
2028	500
Thereafter	1,500
Total principal outstanding	$ 2,300

No definition available.

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

- Definition

Amount, excluding unamortized premium (discount) and debt issuance cost, of long-term debt. Excludes lease obligation.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (b)(3)
-URI https://asc.fasb.org/extlink&oid=123466204&loc=SL6031897-161870

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 20
-Section 55
-Paragraph 69C
-URI https://asc.fasb.org/extlink&oid=123466577&loc=SL123495737-112612

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(16))
-URI https://asc.fasb.org/extlink&oid=126734703&loc=d3e572229-122910

Reference 4: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 20
-Section 55
-Paragraph 69B
-URI https://asc.fasb.org/extlink&oid=123466577&loc=SL123495735-112612

Reference 5: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(16))
-URI https://asc.fasb.org/extlink&oid=126897435&loc=d3e534808-122878

Reference 6: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 20
-Section 50
-Paragraph 1D
-Subparagraph (b)
-URI https://asc.fasb.org/extlink&oid=123466505&loc=SL123495340-112611

Reference 7: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(22))
-URI https://asc.fasb.org/extlink&oid=120391452&loc=d3e13212-122682

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirement, and other securities issued that are redeemable by holder at fixed or determinable price and date, maturing after 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://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 10
-Section 50
-Paragraph 1
-URI https://asc.fasb.org/extlink&oid=123465755&loc=d3e1835-112601

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 20
-Section 50
-Paragraph 1E
-Subparagraph (d)
-URI https://asc.fasb.org/extlink&oid=123466505&loc=SL123495348-112611

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-URI https://asc.fasb.org/extlink&oid=120395691&loc=d3e24072-122690

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirement, and other securities issued that are redeemable by holder at fixed or determinable price and 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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 20
-Section 50
-Paragraph 1E
-Subparagraph (d)
-URI https://asc.fasb.org/extlink&oid=123466505&loc=SL123495348-112611

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-URI https://asc.fasb.org/extlink&oid=120395691&loc=d3e24072-122690

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 10
-Section 50
-Paragraph 1
-URI https://asc.fasb.org/extlink&oid=123465755&loc=d3e1835-112601

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirement, and other securities issued that are redeemable by holder at fixed or determinable price and date, maturing in 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 470
-SubTopic 20
-Section 50
-Paragraph 1E
-Subparagraph (d)
-URI https://asc.fasb.org/extlink&oid=123466505&loc=SL123495348-112611

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 10
-Section 50
-Paragraph 1
-URI https://asc.fasb.org/extlink&oid=123465755&loc=d3e1835-112601

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-URI https://asc.fasb.org/extlink&oid=120395691&loc=d3e24072-122690

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirement, and other securities issued that are redeemable by holder at fixed or determinable price and date, maturing in fourth 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 470
-SubTopic 20
-Section 50
-Paragraph 1E
-Subparagraph (d)
-URI https://asc.fasb.org/extlink&oid=123466505&loc=SL123495348-112611

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 10
-Section 50
-Paragraph 1
-URI https://asc.fasb.org/extlink&oid=123465755&loc=d3e1835-112601

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-URI https://asc.fasb.org/extlink&oid=120395691&loc=d3e24072-122690

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirement, and other securities issued that are redeemable by holder at fixed or determinable price and date, maturing in third 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

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirement, and other securities issued that are redeemable by holder at fixed or determinable price and date, maturing in second 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

+ Details

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