XML 79 R67.htm IDEA: XBRL DOCUMENT v3.6.0.2
Leases (Details) - USD ($)
$ in Millions
12 Months Ended
Oct. 31, 2016
Oct. 31, 2015
Oct. 31, 2014
Leases      
Total rental expense for operating leases $ 1.9 $ 2.2 $ 2.7
Operating Leases, Future Minimum Lease Payments      
Future minimum lease payments under operating leases 3.2    
2017 1.9    
2018 1.2    
2019 $ 0.1