Discontinued Operations and Other Businesses Sold - Income for Discontinued Operations (Details) € in Thousands, $ in Millions					12 Months Ended
	Oct. 26, 2023 USD ($)	Oct. 26, 2023 EUR (€)	Aug. 18, 2023 USD ($)	Jun. 11, 2023 USD ($)	Dec. 31, 2023 USD ($)	Dec. 31, 2023 EUR (€)	Dec. 31, 2022 USD ($)	Dec. 31, 2021 USD ($)
Other expenses:
Total loss from discontinued operations, net of tax					$ (0.6)		$ (57.6)	$ 0.0
Proceeds from sale of CAIRE					474.8		0.0	$ 0.0
Assets Disposed of by Sales
Income Statement, Balance Sheet and Additional Disclosures by Disposal Groups, Including Discontinued Operations
Sales					58.8		0.0
Cost of sales					41.4		0.0
Gross profit					17.4		0.0
Selling, general, and administrative expenses					7.4		74.8
Operating income					10.0		(74.8)
Other expenses:
Interest expense, net					8.9		0.0
Foreign currency loss					0.1		0.0
Other expense, net					9.0		0.0
Income (loss) before income taxes					1.0		(74.8)
Income tax expense (benefit)					1.2		(17.2)
Loss from discontinued operations before gain on sale of business					(0.2)		(57.6)
Loss on sale of business, net of taxes					0.4		0.0
Total loss from discontinued operations, net of tax					(0.6)		$ (57.6)
Tax on loss on sale of business					5.4
Assets Disposed of by Sales | Roots Rotary Blowers Business
Other expenses:
Gain (loss) on sale before tax					5.0
Proceeds from sale of CAIRE			$ 291.9
Assets Disposed of by Sales | Roots Rotary Blowers Business | Scenario, Plan
Other expenses:
Proceeds from sale of CAIRE				$ 300.0
Assets Disposed of by Sales | Cryo Diffusion
Other expenses:
Gain (loss) on sale before tax					$ (6.1)	€ (5,700)
Assets Disposed of by Sales | Cryo Diffusion | Scenario, Plan
Other expenses:
Proceeds from sale of CAIRE	$ 4.5	€ 4,250