Stockholders' Equity Dividends (Details)	3 Months Ended
	Jul. 31, 2023 $ / shares
July 2023 dividend payment
Class of Stock [Line Items]
Dividends Payable, Date Declared, Month and Year	May 25, 2023
Dividends Payable, Date of Record	Jun. 08, 2023
Dividends Payable, Date to be Paid	Jul. 03, 2023
Common Stock, Dividends, Per Share, Declared	$ 0.2055
October 2023 dividend payment
Class of Stock [Line Items]
Dividends Payable, Date Declared, Month and Year	Jul. 27, 2023
Dividends Payable, Date of Record	Sep. 05, 2023
Dividends Payable, Date to be Paid	Oct. 02, 2023
Common Stock, Dividends, Per Share, Declared	$ 0.2055