Leases - Supplemental Balance Sheet (Details) $ in Millions	Apr. 30, 2020 USD ($)
Leases [Abstract]
Operating lease right-of-use assets	$ 220
Other current liabilities	50
Operating lease liabilities	215
Total operating lease liabilities	$ 265

No definition available.

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

- Definition

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

+ References

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

+ Details

Name:	us-gaap_OperatingLeaseLiability
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, classified as current.

+ References

+ Details

Name:	us-gaap_OperatingLeaseLiabilityCurrent
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, classified as noncurrent.

+ References

+ Details

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

- Definition

Amount of lessee's right to use underlying asset under operating lease.

+ References

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

+ Details

Name:	us-gaap_OperatingLeaseRightOfUseAsset
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant