XML 78 R66.htm IDEA: XBRL DOCUMENT v3.3.1.900
Leases (Details) - USD ($)
$ in Millions
12 Months Ended
Oct. 31, 2015
Oct. 31, 2014
Oct. 31, 2013
Leases      
Total rental expense for operating leases $ 2.2 $ 2.7 $ 2.2
Operating Leases, Future Minimum Lease Payments      
Future minimum lease payments under operating leases 4.4    
2016 1.6    
2017 1.2    
2018 0.7    
2019 0.1    
2020 0.1    
Later years $ 0.7