Other Financial Instruments and Fair Value Measurements (Details Textual) $ in Millions |
Jul. 31, 2019
USD ($)
|
---|---|
Other Financial Instruments and Fair Value Measurements (Textual) [Abstract] | |
Company's Municipal bond mature in 2020 | $ 0.3 |
Company's Municipal bond mature in 2021 | 1.0 |
Company's Municipal bond mature in 2022 | 1.6 |
Company's Municipal bond mature in 2023 | 1.0 |
Company's Municipal bond mature in 2024 and beyond | $ 28.0 |