Leases - Schedule of Maturities of Lease Liabilities (Details) $ in Millions	Jan. 31, 2026 USD ($)
Leases [Abstract]
2027	$ 60
2028	61
2029	56
2030	37
2031	30
Thereafter	31
Total lease payments	275
Less imputed interest	24
Present value of operating lease liabilities	$ 251

No definition available.

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

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 942
-SubTopic 235
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477314/942-235-S99-2

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S50
-Paragraph 4
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480738/235-10-S50-4

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480678/235-10-S99-3

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-6

+ Details

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

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease due 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

+ Details

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

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid 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

+ Details

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

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid 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

+ Details

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

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid 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

+ Details

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

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid 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_LesseeOperatingLeaseLiabilityPaymentsDueYearThree
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid 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_LesseeOperatingLeaseLiabilityPaymentsDueYearTwo
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of lessee's undiscounted obligation for lease payments in excess of discounted obligation for lease payments for operating lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-6

+ Details

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

- Definition

Present value of lessee's discounted obligation for lease payments from operating lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479041/842-20-45-1

+ Details

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