XML 62 R52.htm IDEA: XBRL DOCUMENT v3.23.1
Note 9 - Leases (Details Textual) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Apr. 30, 2023
Apr. 30, 2023
Right-of-Use Asset Obtained in Exchange for Operating Lease Liability $ 1.3 $ 1.3
Increase (Decrease) in Operating Lease Liability 1.7 $ 1.7
Lessee, Operating Lease, Lease Not Yet Commenced $ 13.7