Investments - Schedule of Components of Investment Income (Detail) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jul. 31, 2020	Jul. 31, 2019	Jul. 31, 2020	Jul. 31, 2019
Investments, Debt and Equity Securities [Abstract]
Interest income	$ 18	$ 31	$ 46	$ 57
Realized gains	1	1	2	1
Realized losses	0	(1)	(1)	(1)
Investment income	$ 19	$ 31	$ 47	$ 57

The difference between the carrying value and the sale price of an investment. A gain would be recognized when the sale price of the investment is greater than the carrying value of the investment. This element refers to the Gain included in earnings and not to the cash proceeds of the sale.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-04(3)(a))
-URI http://asc.fasb.org/extlink&oid=120400993&loc=SL114874131-224263

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 28
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=121586364&loc=d3e3602-108585

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-04(13))
-URI http://asc.fasb.org/extlink&oid=120399700&loc=SL114874048-224260

Reference 4: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(b)(9)(a))
-URI http://asc.fasb.org/extlink&oid=120395209&loc=SL114868664-224227

Reference 5: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(b)(7)(c))
-URI http://asc.fasb.org/extlink&oid=120395209&loc=SL114868664-224227

+ Details

Name:	us-gaap_GainOnSaleOfInvestments
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount before accretion (amortization) of purchase discount (premium) of interest income on nonoperating securities.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.7(b))
-URI http://asc.fasb.org/extlink&oid=120395209&loc=SL114868664-224227

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 280
-SubTopic 10
-Section 50
-Paragraph 22
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=120311839&loc=d3e8736-108599

+ Details

Name:	us-gaap_InvestmentIncomeInterest
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount after accretion (amortization) of discount (premium), and investment expense, of interest income and dividend income on nonoperating securities.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.7(a),(b))
-URI http://asc.fasb.org/extlink&oid=120395209&loc=SL114868664-224227

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.8)
-URI http://asc.fasb.org/extlink&oid=120395209&loc=SL114868664-224227

+ Details

Name:	us-gaap_InvestmentIncomeNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- References

No definition available.

+ Details

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

- Definition

The difference between the carrying value and the sale price of an investment. A loss would be recognized when the sale price of the investment is less than the carrying value of the investment. This element refers to the Loss included in earnings and not to the cash proceeds of the sale.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(b)(9)(a))
-URI http://asc.fasb.org/extlink&oid=120395209&loc=SL114868664-224227

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-04(3)(a))
-URI http://asc.fasb.org/extlink&oid=120400993&loc=SL114874131-224263

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 28
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=121586364&loc=d3e3602-108585

Reference 4: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-04(13))
-URI http://asc.fasb.org/extlink&oid=120399700&loc=SL114874048-224260

Reference 5: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(b)(7)(c))
-URI http://asc.fasb.org/extlink&oid=120395209&loc=SL114868664-224227

+ Details

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