XML 81 R72.htm IDEA: XBRL DOCUMENT v3.19.3.a.u2
Leases (Details) - USD ($)
$ in Millions
12 Months Ended
Nov. 03, 2019
Oct. 28, 2018
Oct. 29, 2017
Leases      
Total rental expense for operating leases $ 2.0 $ 2.0 $ 2.1
Operating Leases, Future Minimum Lease Payments      
Future minimum lease payments under operating leases 4.7    
2020 1.7    
2021 1.4    
2022 1.0    
2023 $ 0.6