Leases Future Operating Lease Payments Under ASC 840 (Details) $ in Millions	Apr. 30, 2019 USD ($)
Leases [Abstract]
2020	$ 23
2021	16
2022	10
2023	5
2024	3
Thereafter	2
Total lease payments	$ 59

No definition available.

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

- Definition

Amount of required minimum rental payments for leases having an initial or remaining non-cancelable letter-terms in excess of one year.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 2
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=77902758&loc=d3e41502-112717

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 10
-Section 55
-Paragraph 40
-Subparagraph (Note 3)
-URI http://asc.fasb.org/extlink&oid=82846649&loc=d3e38371-112697

+ Details

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

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due 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

+ Details

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

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due in 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_OperatingLeasesFutureMinimumPaymentsDueInFiveYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due 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_OperatingLeasesFutureMinimumPaymentsDueInFourYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due 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

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 10
-Section 55
-Paragraph 40
-Subparagraph (Note 3)
-URI http://asc.fasb.org/extlink&oid=82846649&loc=d3e38371-112697

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 2
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=77902758&loc=d3e41502-112717

+ Details

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

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due 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_OperatingLeasesFutureMinimumPaymentsDueInTwoYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due 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_OperatingLeasesFutureMinimumPaymentsDueThereafter
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant