Pension Benefits (Narrative) (Details) $ in Millions	3 Months Ended		6 Months Ended
	Jul. 31, 2020 plan	Apr. 30, 2020 plan	Oct. 31, 2019 USD ($)
Pension and Other Postretirement Benefits Cost (Reversal of Cost) [Abstract]
Number of defined benefit pension plans | plan	1	2
Pension contribution | $			$ 0.5