Employee Benefit Plans (Components of Net Periodic Pension Costs) (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jan. 31, 2020	Jan. 31, 2019	Jan. 31, 2020	Jan. 31, 2019
Net periodic benefit costs:
Service cost	$ 1.5	$ 1.5	$ 3.1	$ 3.0
Interest cost	3.4	4.1	6.8	8.2
Expected return on assets	(6.5)	(6.7)	(13.0)	(13.3)
Prior service cost amortization	0.2	0.2	0.3	0.3
Actuarial loss amortization	1.6	1.1	3.2	2.2
Net periodic benefit costs	$ 0.2	$ 0.2	$ 0.4	$ 0.4