Revenue - Schedule of Change in Sales Incentive Accrual Balance and Deferred Revenue Balance (Details) - USD ($) $ in Millions	9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022
Sales Incentives
Movement in Deferred Sales Inducements [Roll Forward]
Beginning balance	$ 20.0	$ 19.9
Additions to sales incentive accrual	21.9	16.1
Contract payments	(20.4)	(19.5)
Foreign currency fluctuations	(0.1)	(0.9)
Ending balance	21.4	15.6
Movement in Deferred Revenue [Roll Forward]
Foreign currency fluctuations	(0.1)	(0.9)
Maintenance
Movement in Deferred Sales Inducements [Roll Forward]
Foreign currency fluctuations	0.0	(0.7)
Movement in Deferred Revenue [Roll Forward]
Beginning balance	9.3	11.2
Increase in deferred revenue representing our obligation to satisfy future performance obligations	13.5	19.4
Decrease in deferred revenue for amounts recognized in net sales for satisfied performance obligations	(14.0)	(19.9)
Foreign currency fluctuations	0.0	(0.7)
Ending balance	$ 8.8	$ 10.0