v3.25.2
Inventories, Net (Details) - USD ($)
$ in Millions
Jul. 31, 2025
Jul. 31, 2024
Inventory, Net [Abstract]    
Raw materials $ 175.5 $ 177.4
Work in process 69.6 61.2
Finished products 268.5 238.1
Total inventories, net $ 513.6 $ 476.7