XML 59 R49.htm IDEA: XBRL DOCUMENT v3.20.2
Other Financial Instruments and Fair Value Measurements (Details Textual)
$ in Millions
Jul. 31, 2020
USD ($)
Other Financial Instruments and Fair Value Measurements (Textual) [Abstract]  
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 0.0
Company's Municipal bond mature in 2024 3.5
Company's Municipal bond mature in 2025 and beyond $ 18.5