Inventories (Tables)
 9 Months Ended
Apr. 30, 2017
Inventory, Net [Abstract]  
Components Of Inventory
The components of inventory as of April 30, 2017 and July 31, 2016, are as follows (in millions):
 
April 30,
2017
 
July 31,
2016
Raw materials
$
81.5

 
$
92.5

Work in process
24.4

 
18.4

Finished products
166.9

 
123.2

Total inventories
$
272.8

 
$
234.1