Subsequent Events (Details) $ in Millions	Apr. 01, 2020 USD ($)
Subsequent Event \| exocad GmbH
Subsequent Event [Line Items]
Payments to Acquire Businesses, Net of Cash Acquired	$ 430

The cash outflow associated with the acquisition of a business, net of the cash acquired from the purchase.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 13
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=109223946&loc=d3e3213-108585

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