Revenues (Contract liabilities) (Details) - USD ($) $ in Millions	Sep. 30, 2023	Dec. 31, 2022	Sep. 30, 2022	Dec. 31, 2021
Contract balances
Deferred contract revenues, recorded in other current liabilities	$ 131	$ 124
Deferred contract revenues, recorded in other long-term liabilities	237	204
Total contract liabilities	$ 368	$ 328	$ 299	$ 348

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

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479837/606-10-45-1

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 8
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479806/606-10-50-8

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479837/606-10-45-2

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