XML 74 R63.htm IDEA: XBRL DOCUMENT v3.23.1
Leases - Composition of Rental Operations Revenue (Details) - USD ($)
$ in Thousands
3 Months Ended 6 Months Ended
Apr. 30, 2023
Apr. 30, 2022
Apr. 30, 2023
Apr. 30, 2022
Leases [Abstract]        
Operating lease revenue $ 1,274 $ 1,295 $ 2,564 $ 2,413
Variable lease revenue 120 86 203 159
Total lease revenue $ 1,394 $ 1,381 $ 2,767 $ 2,572