Employee Benefit Plans (Components of Net Periodic Pension Costs) (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Apr. 30, 2022	Apr. 30, 2021	Apr. 30, 2022	Apr. 30, 2021
Net periodic benefit costs
Service cost	$ 1.8	$ 2.0	$ 5.4	$ 6.1
Interest cost	2.4	2.5	7.4	7.4
Expected return on assets	(6.2)	(5.9)	(18.7)	(17.6)
Prior service cost amortization	0.1	0.1	0.2	0.4
Actuarial loss amortization	1.8	2.1	5.4	6.2
Settlement charge	1.1	1.1	2.3	1.1
Curtailment charge	0.0	0.0	0.0	0.8
Net periodic pension costs	$ 1.0	$ 1.9	$ 2.0	$ 4.4