Leases (Details 3) (USD $) In Millions, unless otherwise specified	May 31, 2012
Capital Leases Future Minimum Payments Due [Abstract]
2013	$ 120
2014	2
2015	2
2016	1
2017	1
Thereafter	11
Total	137
Less amount representing interest	9
Present value of net minimum lease payments	$ 128

The total of contractually required rental payments on leases meeting the criteria for capitalization.

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 13

-Paragraph 16

-Subparagraph a(ii)

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 2: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 840

-SubTopic 30

-Section 50

-Paragraph 1

-Subparagraph (b)

-URI http://asc.fasb.org/extlink&oid=6455398&loc=d3e45280-112737

+ Details

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

- Details

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

- Definition

Contractually required rental payments on leases meeting the criteria for capitalization, due within one year of the balance sheet date.

+ References

+ Details

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

- Definition

Contractually required rental payments on leases meeting the criteria for capitalization, due within the fifth year from the balance sheet date.

+ References

+ Details

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

- Definition

Contractually required rental payments on leases meeting the criteria for capitalization, due within the fourth year from the balance sheet date.

+ References

+ Details

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

- Definition

Contractually required rental payments on leases meeting the criteria for capitalization, due within the third year from the balance sheet date.

+ References

+ Details

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

- Definition

Contractually required rental payments on leases meeting the criteria for capitalization, due within the second year from the balance sheet date.

+ References

+ Details

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

- Definition

Contractually required rental payments due on leases meeting the criteria for capitalization, after the fifth year from the balance sheet date.

+ References

+ Details

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

- Definition

Amount necessary to reduce net minimum lease payments to present value calculated at the lesser of the interest rate implicit in the lease (if known) or the entity's incremental borrowing rate (as defined) at inception of the lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 13

-Paragraph 10

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 2: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 13

-Paragraph 16

-Subparagraph a(ii)

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 3: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 13

-Paragraph 7

-Subparagraph d

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 4: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 840

-SubTopic 30

-Section 50

-Paragraph 1

-Subparagraph (b)

-URI http://asc.fasb.org/extlink&oid=6455398&loc=d3e45280-112737

+ Details

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

- Definition

The discounted value of future cash flows under leases meeting the criteria for capitalization.

+ References

+ Details

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