Income Taxes (Unrecognized Tax Benefits) (Details) - USD ($) $ in Millions	12 Months Ended
Apr. 30, 2018	Apr. 30, 2017	Apr. 30, 2016
Reconciliation of Unrecognized Tax Benefits [Roll Forward]
Unrecognized tax benefits at beginning of year	$ 9	$ 9	$ 13
Additions for tax positions provided in prior periods	5	2	1
Additions for tax positions provided in current period	1	0	0
Decreases for tax positions provided in prior years	(4)	(2)	(4)
Settlements of tax positions in the current period	0	0	(1)
Unrecognized tax benefits at end of year	$ 11	$ 9	$ 9

A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period.

No definition available.

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

- Definition

Amount of unrecognized tax benefits.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15A
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=SL6600010-109319

+ Details

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

- Definition

Amount of decrease in unrecognized tax benefits resulting from tax positions taken in prior period tax returns.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15A
-Subparagraph (a)(1)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=SL6600010-109319

+ Details

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

- Definition

Amount of decrease in unrecognized tax benefits resulting from settlements with taxing authorities.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15A
-Subparagraph (a)(3)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=SL6600010-109319

+ Details

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

- Definition

Amount of increase in unrecognized tax benefits resulting from tax positions that have been or will be taken in current period tax return.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15A
-Subparagraph (a)(2)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=SL6600010-109319

+ Details

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

- Definition

Amount of increase in unrecognized tax benefits resulting from tax positions taken in prior period tax returns.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15A
-Subparagraph (a)(1)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=SL6600010-109319

+ Details

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