Deferred Revenues (Details) - USD ($) $ in Billions	12 Months Ended
	Dec. 31, 2022	Dec. 31, 2021	Dec. 31, 2020
Revenue from Contract with Customer [Abstract]
Deferred revenues	$ 2.1	$ 1.1
Revenue recognized included in beginning deferred revenue	$ 1.1	$ 1.7	$ 1.3