Employee Benefit Plans (Components of Net Periodic Pension Costs) (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Apr. 30, 2024	Apr. 30, 2023	Apr. 30, 2024	Apr. 30, 2023
Net periodic benefit costs
Service cost	$ 1.2	$ 1.6	$ 3.6	$ 4.8
Interest cost	5.1	4.2	15.3	12.6
Expected return on assets	(6.4)	(6.4)	(19.3)	(19.1)
Prior service cost amortization	0.0	0.1	0.1	0.2
Actuarial loss amortization	0.4	0.5	1.1	1.6
Settlement charge	3.1	3.3	3.1	3.3
Net periodic pension costs	$ 3.4	$ 3.3	$ 3.9	$ 3.4
Defined Benefit Plan, Net Periodic Benefit Cost (Credit), Interest Cost, Statement of Income or Comprehensive Income [Extensible Enumeration]	Other Nonoperating Income (Expense)	Other Nonoperating Income (Expense)
Defined Benefit Plan, Net Periodic Benefit Cost (Credit) Excluding Service Cost, Statement of Income or Comprehensive Income [Extensible Enumeration]	Other Nonoperating Income (Expense)	Other Nonoperating Income (Expense)