Deferred Revenues (Details) - USD ($) $ in Billions	3 Months Ended		6 Months Ended
	Jun. 30, 2021	Jun. 30, 2020	Jun. 30, 2021	Jun. 30, 2020	Dec. 31, 2020
Revenue from Contract with Customer [Abstract]
Deferred revenues	$ 1.1		$ 1.1		$ 1.7
Revenue recognized included in beginning deferred revenue	$ 0.5	$ 0.4	$ 1.6	$ 1.2