XML 83 R72.htm IDEA: XBRL DOCUMENT v3.10.0.1
Leases (Details) - USD ($)
$ in Millions
12 Months Ended
Oct. 28, 2018
Oct. 29, 2017
Oct. 30, 2016
Leases      
Total rental expense for operating leases $ 2.0 $ 2.1 $ 1.9
Operating Leases, Future Minimum Lease Payments      
Future minimum lease payments under operating leases 5.9    
2019 1.9    
2020 1.5    
2021 1.2    
2022 0.8    
2023 $ 0.5