Discontinued Operations and Other Businesses Sold or to be Sold - Income from Discontinued Operations (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Other expenses:
Total loss from discontinued operations, net of tax	$ (6.0)	$ 0.0	$ (2.6)	$ 0.0
Assets disposed of by sales
Summarized Financial Information of Discontinued Operations
Sales	17.5		58.8
Cost of sales	15.4		41.4
Gross profit	2.1		17.4
Selling, general, and administrative expenses	2.1		6.9
Operating income	0.0		10.5
Other expenses:
Interest expense, net	3.0		8.9
Foreign currency loss	0.0		0.1
Other expense, net	3.0		9.0
(Loss) income before income taxes	(3.0)		1.5
Income tax expense	0.5		1.6
Loss from discontinued operations before gain on sale of business	(3.5)		(0.1)
Gain on sale of business, net of $7.5 taxes	(2.5)		(2.5)
Total loss from discontinued operations, net of tax	(6.0)		(2.6)
Gain on sale, tax	7.5		7.5
Assets disposed of by sales | Roots Rotary Blowers Business
Other expenses:
Gain on sale before tax	$ 5.0		$ 5.0