Declaration of Dividend Payable (Details) - $ / shares				3 Months Ended
	Aug. 30, 2019	Aug. 16, 2019	May 29, 2019	Jul. 31, 2019	Jul. 31, 2018
Dividends [Abstract]
Cash dividends payable, declared date			May 29, 2019
Cash dividends declared per common share (in usd per share)			$ 0.11	$ 0.11	$ 0.11
Cash dividend payable date	Aug. 30, 2019
Cash dividends declared, record date		Aug. 16, 2019