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, 2024	Apr. 30, 2023	Apr. 30, 2024	Apr. 30, 2023
Earnings Per Share [Abstract]
Net earnings	$ 113.5	$ 93.7	$ 304.3	$ 266.9
Weighted average common shares outstanding
Weighted average common shares - basic (in shares)	120.8	121.6	120.8	122.0
Dilutive impact of stock-based awards (in shares)	2.1	1.9	1.8	1.7
Weighted average common shares - diluted (in shares)	122.9	123.5	122.6	123.7
Net EPS - basic (in usd per share)	$ 0.94	$ 0.77	$ 2.52	$ 2.19
Net EPS - diluted (in usd per share)	$ 0.92	$ 0.76	$ 2.48	$ 2.16
Impact of potentially anti-dilutive stock options excluded from net EPS calculation (in shares)	0.0	0.0	0.0	1.5