Leases Lease, Cost (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jul. 31, 2019	Jul. 31, 2019
Leases [Abstract]
Operating lease cost	$ 661	$ 1,297
Finance lease cost, amortization of right-of-use assets	116	227
Finance lease cost, interest expense	75	152
Variable lease cost	$ 168	$ 335

Amount of interest expense on finance lease liability.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918686-209980

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 45
-Paragraph 4
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=77888419&loc=SL77918638-209977

Reference 3: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI http://asc.fasb.org/extlink&oid=77888399&loc=SL77918982-209971

+ Details

Name:	us-gaap_FinanceLeaseInterestExpense
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of amortization expense attributable to right-of-use asset from finance lease.

+ References

+ Details

Name:	us-gaap_FinanceLeaseRightOfUseAssetAmortization
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- References

No definition available.

+ Details

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

- Definition

Amount of single lease cost, calculated by allocation of remaining cost of lease over remaining lease term. Includes, but is not limited to, single lease cost, after impairment of right-of-use asset, calculated by amortization of remaining right-of-use asset and accretion of lease liability.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI http://asc.fasb.org/extlink&oid=77888399&loc=SL77918982-209971

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918686-209980

+ Details

Name:	us-gaap_OperatingLeaseCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of variable lease cost, excluded from lease liability, recognized when obligation for payment is incurred for finance and operating leases.

+ References

+ Details

Name:	us-gaap_VariableLeaseCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration