XML 38 R18.htm IDEA: XBRL DOCUMENT v3.19.3.a.u2
Leases
12 Months Ended
Nov. 03, 2019
Leases  
Leases

Note 11. Leases

Total rental expense for operating leases was $2.0 million, $2.0 million, and $2.1 million for 2019, 2018, and 2017, respectively. At November 3, 2019, future minimum lease payments under operating leases amounted to $4.7 million as follows (in millions of dollars): 2020 - $1.7, 2021 - $1.4, 2022 - $1.0, and 2023 - $.6.