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

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 pertaining to uncertain tax positions taken in 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)
-URI http://asc.fasb.org/extlink&oid=6907707&loc=SL6600010-109319

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Glossary Unrecognized Tax Benefit
-URI http://asc.fasb.org/extlink&oid=6527854

+ 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

+ 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

+ 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

+ 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

+ Details

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

- Definition

Amount of decrease in unrecognized tax benefits resulting from lapses of applicable statutes of limitations.

+ References

+ Details

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