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		9 Months Ended
	Apr. 30, 2023	Apr. 30, 2022	Apr. 30, 2023	Apr. 30, 2022
Earnings Per Share [Abstract]
Net earnings	$ 93.7	$ 83.0	$ 266.9	$ 231.8
Weighted average common shares outstanding
Weighted average common shares - basic (in shares)	121.6	123.4	122.0	123.9
Dilutive impact of share-based awards (in shares)	1.9	1.2	1.7	1.7
Weighted average common shares - diluted (in shares)	123.5	124.6	123.7	125.6
Net EPS - basic (in usd per share)	$ 0.77	$ 0.67	$ 2.19	$ 1.87
Net EPS - diluted (in usd per share)	$ 0.76	$ 0.67	$ 2.16	$ 1.85
Stock options excluded from net EPS calculation (in shares)	0.0	1.7	1.5	1.6