XML 68 R54.htm IDEA: XBRL DOCUMENT v3.23.2
Note 9 - Leases (Details Textual) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Jul. 31, 2023
Jul. 31, 2023
Right-of-Use Asset Obtained in Exchange for Operating Lease Liability $ 7.2 $ 8.9
Lessee, Operating Lease, Lease Not Yet Commenced   10.4
Increase (Decrease) in Operating Lease Liability $ 7.2 $ 8.9