Revenue from External Customers by Geographic Areas (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Revenue from External Customer [Line Items]
Revenue	$ 3,568	$ 3,104	$ 10,365	$ 9,793
UNITED STATES
Revenue from External Customer [Line Items]
Revenue	1,759	1,612	5,130	5,109
UNITED KINGDOM
Revenue from External Customer [Line Items]
Revenue	438	375	1,275	1,193
GERMANY
Revenue from External Customer [Line Items]
Revenue	418	369	1,270	1,145
Other countries
Revenue from External Customer [Line Items]
Revenue	$ 953	$ 748	$ 2,690	$ 2,346