Deferred revenues (Details) - USD ($) $ in Billions	3 Months Ended	6 Months Ended
Jun. 30, 2019	Jun. 30, 2018	Jun. 30, 2019	Jun. 30, 2018	Jan. 01, 2019
Revenue from Contract with Customer [Abstract]
Deferred revenues	$ 0.8		$ 0.8		$ 1.6
Revenue recognized included in beginning deferred revenue	$ 0.4	$ 0.4	$ 1.3	$ 1.5

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=82913815&loc=SL49130531-203044

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=82913815&loc=SL49130532-203044

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 8
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=109196051&loc=SL49130549-203045

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