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		6 Months Ended
	Jan. 31, 2024	Jan. 31, 2023	Jan. 31, 2024	Jan. 31, 2023
Earnings Per Share [Abstract]
Net earnings	$ 98.7	$ 86.0	$ 190.8	$ 173.2
Weighted average common shares outstanding
Weighted average common shares - basic (in shares)	120.5	121.7	120.7	122.2
Dilutive impact of stock-based awards (in shares)	1.6	1.6	1.7	1.5
Weighted average common shares - diluted (in shares)	122.1	123.3	122.4	123.7
Net EPS - basic (in usd per share)	$ 0.82	$ 0.71	$ 1.58	$ 1.42
Net EPS - diluted (in usd per share)	$ 0.81	$ 0.70	$ 1.56	$ 1.40
Impact of potentially anti-dilutive stock options excluded from net EPS calculation (in shares)	0.0	0.0	0.0	1.6