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, 2023	Jan. 31, 2022	Jan. 31, 2023	Jan. 31, 2022
Earnings Per Share [Abstract]
Net earnings	$ 86.0	$ 71.8	$ 173.2	$ 148.8
Weighted average common shares outstanding
Weighted average common shares - basic (in shares)	121.7	123.9	122.2	124.1
Dilutive impact of share-based awards (in shares)	1.6	1.7	1.5	1.9
Weighted average common shares - diluted (in shares)	123.3	125.6	123.7	126.0
Net EPS - basic (in usd per share)	$ 0.71	$ 0.58	$ 1.42	$ 1.20
Net EPS - diluted (in usd per share)	$ 0.70	$ 0.57	$ 1.40	$ 1.18
Stock options excluded from net EPS calculation (in shares)	0.0	1.6	1.6	0.0