Deferred revenues (Details) - USD ($) $ in Billions	3 Months Ended
	Mar. 31, 2021	Mar. 31, 2020	Dec. 31, 2020
Revenue from Contract with Customer [Abstract]
Deferred revenues	$ 1.5		$ 1.7
Revenue recognized included in beginning deferred revenue	$ 1.1	$ 0.8