Earnings Per Share (Information Necessary to Calculate Basic and Diluted Net Earnings Per Common Share) (Details) - USD ($) $ / shares in Units, shares in Millions, $ in Millions	3 Months Ended
	Oct. 31, 2023	Oct. 31, 2022
Earnings Per Share [Abstract]
Net earnings	$ 92.1	$ 87.2
Weighted average common shares outstanding
Weighted average common shares - basic (in shares)	120.9	122.6
Dilutive impact of stock-based awards (in shares)	1.7	1.3
Weighted average common shares - diluted (in shares)	122.6	123.9
Net EPS - basic (in usd per share)	$ 0.76	$ 0.71
Net EPS - diluted (in usd per share)	$ 0.75	$ 0.70
Impact of potentially anti-dilutive stock options excluded from net EPS calculation (in shares)	0.0	1.7