v3.26.1
Inventories (Details) - USD ($)
$ in Millions
6 Months Ended
Jun. 30, 2026
Dec. 31, 2025
Major classes of inventories    
Raw materials and work in process $ 182.7 $ 173.3
Finished goods 214.1 154.0
Service parts 199.1 193.7
Total inventories 595.9 521.0
Increase in inventories 74.9  
Products    
Major classes of inventories    
Total inventories $ 396.8 $ 327.3