Revenues - Disaggregation of Revenues by Revenue Type (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Revenue from External Customer [Line Items]
Revenues	$ 298,663	$ 348,059	$ 888,265	$ 998,273
Connected devices, software licenses, and other
Revenue from External Customer [Line Items]
Revenues	167,560	226,415	500,182	650,125
Consumables
Revenue from External Customer [Line Items]
Revenues	21,195	20,150	62,724	56,121
Technical services
Revenue from External Customer [Line Items]
Revenues	57,303	53,914	167,851	156,386
Advanced Services
Revenue from External Customer [Line Items]
Revenues	$ 52,605	$ 47,580	$ 157,508	$ 135,641