Subsequent Event (Details) $ in Millions	Dec. 21, 2023 USD ($)
Subsequent Event \| Product support business
Subsequent Event
Purchase price	$ 725

Amount of consideration transferred, consisting of acquisition-date fair value of assets transferred by the acquirer, liabilities incurred by the acquirer, and equity interest issued by the acquirer.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 30
-Paragraph 8
-SubTopic 30
-Topic 805
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479637/805-30-30-8

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (b)
-SubTopic 30
-Topic 805
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479581/805-30-50-1

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 30
-Paragraph 7
-SubTopic 30
-Topic 805
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479637/805-30-30-7

Name:	us-gaap_BusinessCombinationConsiderationTransferred1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration