Employee Benefit Plans (Components of Net Periodic Pension Costs) (Details) - USD ($) $ in Millions	12 Months Ended
	Jul. 31, 2023	Jul. 31, 2022	Jul. 31, 2021
Net periodic pension costs
Service cost	$ 6.7	$ 6.9	$ 7.5
Interest cost	17.0	10.6	10.2
Expected return on assets	(25.3)	(24.8)	(23.7)
Prior service cost amortization	0.0	0.2	0.3
Actuarial loss amortization	2.1	6.9	8.2
Settlement charge	5.5	3.0	2.0
Curtailment charge	0.2	0.0	0.8
Net periodic pension costs	$ 6.2	$ 2.8	$ 5.3
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)	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)	Other Nonoperating Income (Expense)
Defined Benefit Plan, Net Periodic Benefit (Cost) Credit, Curtailment Gain (Loss), Statement of Income or Comprehensive Income [Extensible Enumeration]	Other Nonoperating Income (Expense)	Other Nonoperating Income (Expense)	Other Nonoperating Income (Expense)
Other changes recognized in other comprehensive income (loss):
Prior service cost	$ (0.4)	$ 0.0	$ 0.0
Net actuarial (loss) gain	(5.9)	(1.3)	35.9
Amortization of prior service cost	0.2	0.3	1.2
Amortization of net actuarial loss	7.7	9.9	10.2
Total recognized in other comprehensive income	1.6	8.9	47.3
Total recognized in net periodic pension costs and other comprehensive (loss) income	$ (4.6)	$ 6.1	$ 42.0