Fair value of long-term debt (Details) - Schedule of Estimated Fair Value and Carrying Value of Long-Term Debt - $ / shares $ / shares in Millions	Jul. 31, 2023	Oct. 31, 2022
Schedule of Estimated Fair Value and Carrying Value of Long Term Debt [Abstract]
Fair Value	$ 132.7	$ 132.2
Carrying Value, Net	$ 136.7	$ 138.1