Leases (Details 3) (USD $) In Millions	May 31, 2011
Capital Leases Future Minimum Payments Due Abstract
2012	$ 25
2013	119
2014	2
2015	2
2016	2
Thereafter	13
Total	163
Less amount representing interest	17
Present value of net minimum lease payments	$ 146

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)

+ 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

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)

+ 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

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)

+ 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

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)

+ 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

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)

+ 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

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)

+ 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

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)

+ 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 entity's incremental borrowing rate at the 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 16
-Subparagraph a(ii)

+ 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

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)

+ Details

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