v3.25.2
Revenue - Disaggregation (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jun. 30, 2025
Jun. 30, 2024
Jun. 30, 2025
Jun. 30, 2024
Revenues disaggregated by Group        
Total revenue $ 797.4 $ 800.7 $ 1,598.8 $ 1,522.4
Revenue recognized at a point in time        
Revenues disaggregated by Group        
Total revenue 675.1 686.5 1,353.8 1,295.0
Revenue recognized over time        
Revenues disaggregated by Group        
Total revenue 122.3 114.2 245.0 227.4
United States        
Revenues disaggregated by Group        
Total revenue 222.9 243.7 440.3 438.5
Germany        
Revenues disaggregated by Group        
Total revenue 59.1 83.5 120.2 150.3
Europe excluding Germany        
Revenues disaggregated by Group        
Total revenue 213.4 192.3 437.5 370.4
China        
Revenues disaggregated by Group        
Total revenue 114.7 120.4 215.9 236.1
Asia Pacific excluding China        
Revenues disaggregated by Group        
Total revenue 127.4 106.2 258.8 213.2
Other        
Revenues disaggregated by Group        
Total revenue $ 59.9 $ 54.6 $ 126.1 $ 113.9