Subsequent Event (Details) $ in Millions	Apr. 28, 2020 USD ($)
Redpine Signals \| Subsequent event
Subsequent Event [Line Items]
Payments to Acquire Businesses, Gross	$ 314

The cash outflow associated with the acquisition of business during the period. The cash portion only of the acquisition price.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 805
-SubTopic 30
-Section 50
-Paragraph 1
-Subparagraph (b)(1)
-URI http://asc.fasb.org/extlink&oid=35744584&loc=d3e6927-128479

Reference 2: 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=118932676&loc=d3e3213-108585

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