Commitments and Contingencies - Narrative (Details) $ in Millions	Jan. 31, 2020 USD ($)
Commitments and Contingencies Disclosure [Abstract]
Non-cancelable commitments	$ 1,200
Non-cancelable commitments due 2020	723
Non-cancelable commitments due 2021	367
Non-cancelable commitments due 2023	73
Non-cancelable commitments due 2024	11
Non-cancelable commitments thereafter	0
Standby and documentary letters of credit outstanding	$ 61

No definition available.

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

- Definition

The total amount of the contingent obligation under letters of credit outstanding as of the reporting date.

+ References

No definition available.

+ Details

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

- Definition

Amount of the fixed and determinable portion of the unrecorded unconditional purchase obligation maturing in the next fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 440
-SubTopic 10
-Section 50
-Paragraph 4
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=77896938&loc=d3e25336-109308

+ Details

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

- Definition

Amount of the fixed and determinable portion of the unrecorded unconditional purchase obligation maturing in the fourth fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

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

- Definition

Amount of the fixed and determinable portion of the unrecorded unconditional purchase obligation maturing in the second fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

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

- Definition

Amount of the fixed and determinable portion of the unrecorded unconditional purchase obligation maturing in the third fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

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

- Definition

Amount of the unrecorded obligation to transfer funds in the future for fixed or minimum amounts or quantities of goods or services at fixed or minimum prices (for example, as in take-or-pay contracts or 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 the fixed and determinable portion of the unrecorded unconditional purchase obligation maturing after the fifth fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

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