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