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