XML 54 R42.htm IDEA: XBRL DOCUMENT v3.20.2
Stockholders' Equity Dividends (Details)
3 Months Ended
Jul. 31, 2020
$ / shares
July 2020 dividend payment [Member]  
Class of Stock [Line Items]  
Dividends Payable, Date Declared, Month and Year May 21, 2020
Dividends Payable, Date of Record Jun. 08, 2020
Dividends Payable, Date to be Paid Jul. 01, 2020
Common Stock, Dividends, Per Share, Declared $ 0.1743
October 2020 dividend payment [Member]  
Class of Stock [Line Items]  
Dividends Payable, Date Declared, Month and Year Jul. 23, 2020
Dividends Payable, Date of Record Sep. 04, 2020
Dividends Payable, Date to be Paid Oct. 01, 2020
Common Stock, Dividends, Per Share, Declared $ 0.1743