Employee and Retiree Benefits (Narrative) (Details)	1 Months Ended						3 Months Ended
	Jan. 31, 2017	Jan. 31, 2016	Jan. 31, 2015	Jan. 31, 2014	Jan. 31, 2013	Jan. 31, 2012	Nov. 26, 2016
Postretirement health care benefits age requirement before distribution occurs							55 years
Postretirement health care benefits continuous service requirement							15 years
Dollar cap liability reduction		10.00%	10.00%	10.00%	10.00%	10.00%
Postretirement health care retiree age requirement		65 years
Subsequent Event [Member]
Postretirement health care retiree age requirement	65 years