Discontinued Operations (Details) - Tempo Business	May 01, 2017 USD ($) agreement	Jun. 30, 2019 USD ($)
Dispositions
Number of commercial agreements \| agreement	2
Discontinued Operations, Disposed of by Sale
Dispositions
Purchase price	$ 4,300,000,000
Cash and cash equivalents from discontinued operations		$ 0
Maximum \| Discontinued Operations, Disposed of by Sale
Dispositions
Purchase price	4,200,000,000
Deferred consideration	$ 500,000,000

Amount classified as cash and cash equivalents attributable to disposal group held for sale or disposed of.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 360
-SubTopic 10
-Section 50
-Paragraph 3
-Subparagraph (e)
-URI http://asc.fasb.org/extlink&oid=109226691&loc=d3e2941-110230

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 50
-Paragraph 5B
-Subparagraph (e)
-URI http://asc.fasb.org/extlink&oid=109222650&loc=SL51721673-107760

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=109222160&loc=SL51721533-107759

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 45
-Paragraph 10
-URI http://asc.fasb.org/extlink&oid=109222160&loc=d3e1107-107759

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