Debt (Maturity of debt) (Details) - USD ($) $ in Millions	Dec. 31, 2015	Dec. 31, 2014
Debt Disclosure [Abstract]
Repayments of principal in the next twelve months	$ 350
Repayments of principal in year two	0
Repayments of principal in year three	150
Repayments of principal in year four	350
Repayments of principal in year five	500
Repayments of principal after year five	1,223
Less discount	(11)
Total debt	$ 2,562	$ 2,559

No definition available.

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

- Definition

The amount of debt discount that was originally recognized at the issuance of the instrument that has yet to be amortized.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 835
-SubTopic 30
-Section 45
-Paragraph 1A
-URI http://asc.fasb.org/extlink&oid=6451184&loc=d3e28541-108399

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 835
-SubTopic 30
-Section 55
-Paragraph 8
-URI http://asc.fasb.org/extlink&oid=34725769&loc=d3e28878-108400

+ Details

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

- Definition

Carrying amount of long-term debt, net of unamortized discount or premium, including current and noncurrent amounts. Includes, but not limited to, notes payable, bonds payable, debentures, mortgage loans and commercial paper. Excludes capital lease obligations.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03.16)
-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02.22)
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03.16)
-URI http://asc.fasb.org/extlink&oid=6879938&loc=d3e572229-122910

Reference 4: http://www.xbrl.org/2003/role/presentationRef
-Publisher SEC
-Name Regulation S-X (SX)
-Number 210
-Section 02
-Paragraph 20, 22
-Article 5

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirements, and other securities issued that are redeemable by holder at fixed or determinable prices and dates maturing 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

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 10
-Section 50
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=6802200&loc=d3e1835-112601

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04.(a))
-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e24072-122690

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirements, and other securities issued that are redeemable by holder at fixed or determinable prices and dates maturing 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

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04.(a))
-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e24072-122690

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 10
-Section 50
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=6802200&loc=d3e1835-112601

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirements, and other securities issued that are redeemable by holder at fixed or determinable prices and dates maturing 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_LongTermDebtMaturitiesRepaymentsOfPrincipalInYearFive
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of long-term debt payable, sinking fund requirements, and other securities issued that are redeemable by holder at fixed or determinable prices and dates maturing 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_LongTermDebtMaturitiesRepaymentsOfPrincipalInYearFour
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of long-term debt payable, sinking fund requirements, and other securities issued that are redeemable by holder at fixed or determinable prices and dates maturing 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

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirements, and other securities issued that are redeemable by holder at fixed or determinable prices and dates maturing 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_LongTermDebtMaturitiesRepaymentsOfPrincipalInYearTwo
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant