Earnings per share (Details) - shares	3 Months Ended		9 Months Ended
	Jul. 31, 2017	Jul. 31, 2016	Jul. 31, 2017	Jul. 31, 2016
Earnings Per Share [Abstract]
Shares arising from assumed exercise of stock options	0	13,000	3,000	0