XML 73 R63.htm IDEA: XBRL DOCUMENT v3.23.2
Leases - Composition of Rental Operations Revenue (Details) - USD ($)
$ in Thousands
3 Months Ended 9 Months Ended
Jul. 31, 2023
Jul. 31, 2022
Jul. 31, 2023
Jul. 31, 2022
Leases [Abstract]        
Operating lease revenue $ 1,308 $ 1,265 $ 3,872 $ 3,678
Variable lease revenue 97 64 300 223
Total lease revenue $ 1,405 $ 1,329 $ 4,172 $ 3,901