XML 76 R63.htm IDEA: XBRL DOCUMENT v3.22.4
Leases - Composition of Rental Operations Revenue (Details) - USD ($)
$ in Thousands
3 Months Ended
Jan. 31, 2023
Jan. 31, 2022
Leases [Abstract]    
Operating lease revenue $ 1,291 $ 1,118
Variable lease revenue 82 73
Total lease revenue $ 1,373 $ 1,191