Employee Benefit Plans (Components of Net Periodic Pension Costs) (Details) - USD ($) $ in Millions	3 Months Ended			9 Months Ended
	Apr. 30, 2023	Apr. 30, 2022	Jan. 31, 2022	Apr. 30, 2023	Apr. 30, 2022
Net periodic benefit costs
Service cost	$ 1.6	$ 1.8		$ 4.8	$ 5.4
Interest cost	4.2	2.4		12.6	7.4
Expected return on assets	(6.4)	(6.2)		(19.1)	(18.7)
Prior service cost amortization	0.1	0.1		0.2	0.2
Actuarial loss amortization	0.5	1.8		1.6	5.4
Settlement charge	3.3	1.1	$ 1.2	3.3	2.3
Net periodic pension costs	$ 3.3	$ 1.0		$ 3.4	$ 2.0