v3.22.2.2
Inventories, Net (Details) - USD ($)
$ in Millions
Oct. 31, 2022
Jul. 31, 2022
Inventory, Net    
Raw materials $ 186.3 $ 197.6
Work in process 59.2 56.1
Finished products 244.6 248.7
Total inventories, net $ 490.1 $ 502.4