Stockholders' Equity (Details) - USD ($) $ / shares in Units, $ in Millions		3 Months Ended
	Nov. 17, 2023	Oct. 31, 2023	Oct. 31, 2022	May 31, 2019
Equity
Number of shares authorized to be repurchased (in shares)				13,000,000
Stock repurchased during the period (in shares)		900,000	900,000
Stock repurchased during the period including excise tax		$ 53.7	$ 45.7
Shares with remaining authorization for repurchase under stock repurchase plan (in shares)		2,000,000
Dividends paid per share (in usd per share)		$ 0.25	$ 0.23
Subsequent Event
Equity
Stock repurchase program, additional shares authorized for repurchase (in shares)	12,000,000
Dividends declared (in usd per share)	$ 25.0