Marketable Securities (Contractual maturity) (Details) - USD ($) $ in Millions	Jun. 30, 2015	Dec. 31, 2014
Marketable securities by contractual maturity
Due in one year or less	$ 199
Due after one year through five years	299
Due after five years through ten years	2
Due after ten years	15
Total marketable securities	$ 515	$ 1,454

Amount of investment in debt and equity securities categorized neither as held-to-maturity nor trading.

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 320

-SubTopic 10

-Section 25

-Paragraph 1

-Subparagraph (b)

-URI http://asc.fasb.org/extlink&oid=28360136&loc=d3e22054-111558

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 320

-SubTopic 10

-Section 50

-Paragraph 5

-Subparagraph (aa)

-URI http://asc.fasb.org/extlink&oid=27724398&loc=d3e27232-111563

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 320

-SubTopic 10

-Section 45

-Paragraph 1

-URI http://asc.fasb.org/extlink&oid=6871852&loc=d3e26610-111562

+ Details

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

- References

No definition available.

+ Details

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

- Definition

Fair value of available-for-sale debt securities maturing in the next rolling twelve months following the latest balance sheet. For interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

No definition available.

+ Details

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

- Definition

Fair value of available-for-sale debt securities maturing after the tenth rolling twelve months following the latest balance sheet. For interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

No definition available.

+ Details

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

- Definition

Fair value of available-for-sale debt securities maturing in the sixth through tenth rolling twelve months following the latest balance sheet. For interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

No definition available.

+ Details

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

- Definition

Fair value of available-for-sale debt securities maturing in the second through fifth rolling twelve months following the latest balance sheet. For interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

No definition available.

+ Details

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