Revenue Recognition - Information about Trade Receivables and Deferred Revenue (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2023	Jun. 30, 2023	Dec. 31, 2022
Revenue from Contract with Customer [Abstract]
Trade receivables	$ 344	$ 344	$ 349
Deferred revenue (contract liabilities)	313	$ 313	$ 271
Policy period		1 year
Revenue recognized	$ 38	$ 59

Amount, after allowance for credit loss, of right to consideration from customer for product sold and service rendered in normal course of business.

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 946
-SubTopic 310
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480833/946-310-45-1

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 944
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(5))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479440/944-210-S99-1

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 946
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.6-04(5)(b))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479617/946-210-S99-1

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

Name:	us-gaap_AccountsReceivableNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant