Revenue - Disaggregation (Details) - USD ($) $ in Millions	3 Months Ended
	Mar. 31, 2025	Mar. 31, 2024
Revenues disaggregated by Group
Total revenue	$ 801.4	$ 721.7
Revenue recognized at a point in time
Revenues disaggregated by Group
Total revenue	678.7	608.5
Revenue recognized over time
Revenues disaggregated by Group
Total revenue	122.7	113.2
United States
Revenues disaggregated by Group
Total revenue	217.4	194.8
Germany
Revenues disaggregated by Group
Total revenue	61.1	66.8
Rest of Europe
Revenues disaggregated by Group
Total revenue	224.1	178.1
China
Revenues disaggregated by Group
Total revenue	101.2	115.7
Rest of Asia Pacific
Revenues disaggregated by Group
Total revenue	131.4	107.0
Other
Revenues disaggregated by Group
Total revenue	$ 66.2	$ 59.3