Stockholders' Equity Dividends (Details)	3 Months Ended
	Jul. 31, 2024 $ / shares
July 2024 dividend payment
Class of Stock [Line Items]
Dividends Payable, Date Declared	May 23, 2024
Dividends Payable, Date of Record	Jun. 07, 2024
Dividends Payable, Date to be Paid	Jul. 01, 2024
Common Stock, Dividends, Per Share, Declared	$ 0.2178
October 2024 dividend payment
Class of Stock [Line Items]
Dividends Payable, Date Declared	Jul. 25, 2024
Dividends Payable, Date of Record	Sep. 03, 2024
Dividends Payable, Date to be Paid	Oct. 01, 2024
Common Stock, Dividends, Per Share, Declared	$ 0.2178