Revenue (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2023	Jun. 30, 2022	Jun. 30, 2023	Jun. 30, 2022
Disaggregation of Revenue [Line Items]
Revenues	$ 372.0	$ 351.9	$ 736.4	$ 698.8
US [Member]
Disaggregation of Revenue [Line Items]
Revenues	247.6	230.9	490.4	455.5
EMEA [Member]
Disaggregation of Revenue [Line Items]
Revenues	56.7	56.4	111.7	115.0
China [Member]
Disaggregation of Revenue [Line Items]
Revenues	23.9	26.5	49.0	52.5
Other [Member]
Disaggregation of Revenue [Line Items]
Revenues	$ 43.8	$ 38.1	$ 85.3	$ 75.8