Commitments (Details) $ in Millions	Oct. 31, 2025 USD ($)
Fiscal year
2026	$ 509
2027	227
2028	195
2029	111
2030	38
Thereafter	5
Total	$ 1,085

No definition available.

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

- Definition

Amount of fixed and determinable portion of unrecorded unconditional purchase obligation 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). Includes, but is not limited to, lease not yet commenced.

+ References

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

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-3

+ Details

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

- Definition

Amount of fixed and determinable portion of unrecorded unconditional purchase obligation 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). Includes, but is not limited to, lease not yet commenced.

+ References

+ Details

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

- Definition

Amount of fixed and determinable portion of unrecorded unconditional purchase obligation 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). Includes, but is not limited to, lease not yet commenced.

+ References

+ Details

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

- Definition

Amount of fixed and determinable portion of unrecorded unconditional purchase obligation 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). Includes, but is not limited to, lease not yet commenced.

+ References

+ Details

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

- Definition

Amount of fixed and determinable portion of unrecorded unconditional purchase obligation 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). Includes, but is not limited to, lease not yet commenced.

+ References

+ Details

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

- Definition

Amount of unrecorded obligation to transfer funds in future for fixed or minimum amount or quantity of product and service at fixed or minimum price. Includes, but is not limited to, lease not yet commenced and take-or-pay and throughput contracts.

+ References

+ Details

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

- Definition

Amount of fixed and determinable portion of unrecorded unconditional purchase obligation to be paid 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). Includes, but is not limited to, lease not yet commenced.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 440
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482648/440-10-50-4

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-3

+ Details

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