Employee Benefit Plans (Components of Net Periodic Pension Costs) (Details) - USD ($) $ in Millions	3 Months Ended
	Oct. 31, 2023	Oct. 31, 2022
Net periodic benefit costs
Service cost	$ 1.2	$ 1.6
Interest cost	5.1	4.1
Expected return on assets	(6.4)	(6.3)
Prior service cost amortization	0.0	0.1
Actuarial loss amortization	0.3	0.5
Net periodic pension costs	$ 0.2	$ 0.0
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)