Employee Benefit Plans (Changes in Fair Value of U.S. Pension Plans' Level 3 Assets) (Details) - Pension Plan - USD ($) $ in Millions	12 Months Ended
	Jul. 31, 2023	Jul. 31, 2022	Jul. 31, 2021
Change in fair value of plan assets
Fair value of plan assets, beginning of year	$ 459.8	$ 591.3
Fair value of plan assets, end of year	416.0	459.8	$ 591.3
Level 3
Change in fair value of plan assets
Fair value of plan assets, beginning of year	35.4	37.7	35.4
Unrealized gains	2.7	3.5	3.6
Foreign currency exchange	3.0	(5.6)	0.1
Purchases and sales, net	0.2	(0.2)	(1.4)
Fair value of plan assets, end of year	$ 41.3	$ 35.4	$ 37.7