Inventories
 6 Months Ended
Jan. 31, 2016
Inventory, Net [Abstract]  
Inventories
Inventories
The components of inventory as of January 31, 2016 and July 31, 2015, are as follows (millions of dollars):
 
January 31,
2016
 
July 31,
2015
Raw materials
$
104.4

 
$
113.4

Work in process
26.7

 
22.6

Finished products
143.7

 
129.0

Total inventories
$
274.8

 
$
265.0