v3.26.1
Revenue - Disaggregation (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jun. 30, 2026
Jun. 30, 2025
Jun. 30, 2026
Jun. 30, 2025
Revenues disaggregated by Group        
Total revenue $ 838.5 $ 797.4 $ 1,661.9 $ 1,598.8
Revenue recognized at a point in time        
Revenues disaggregated by Group        
Total revenue 698.4 675.1 1,386.7 1,353.8
Revenue recognized over time        
Revenues disaggregated by Group        
Total revenue 140.1 122.3 275.2 245.0
United States        
Revenues disaggregated by Group        
Total revenue 248.2 222.9 470.1 440.3
Germany        
Revenues disaggregated by Group        
Total revenue 64.4 59.1 127.1 120.2
Europe excluding Germany        
Revenues disaggregated by Group        
Total revenue 244.3 213.4 503.2 437.5
China        
Revenues disaggregated by Group        
Total revenue 104.9 114.7 178.9 215.9
Asia Pacific excluding China        
Revenues disaggregated by Group        
Total revenue 112.4 127.4 247.1 258.8
Other        
Revenues disaggregated by Group        
Total revenue $ 64.3 $ 59.9 $ 135.5 $ 126.1