Employee Benefit Plans (Components of Net Periodic Pension Costs) (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jan. 31, 2023	Jan. 31, 2022	Jan. 31, 2023	Jan. 31, 2022
Net periodic benefit costs
Service cost	$ 1.6	$ 1.8	$ 3.2	$ 3.6
Interest cost	4.2	2.5	8.3	5.0
Expected return on assets	(6.4)	(6.2)	(12.7)	(12.5)
Prior service cost amortization	0.1	0.0	0.1	0.1
Actuarial loss amortization	0.5	1.8	1.1	3.6
Settlement charge	0.0	1.2	0.0	1.2
Net periodic pension costs	$ 0.0	$ 1.1	$ 0.0	$ 1.0