Employee Benefit Plans (Components of Net Periodic Pension Costs) (Details) - USD ($) $ in Millions	3 Months Ended
	Oct. 31, 2025	Oct. 31, 2024
Net periodic benefit costs
Service cost	$ 1.3	$ 1.2
Interest cost	5.1	4.9
Expected return on assets	(6.3)	(6.4)
Actuarial loss amortization	0.5	0.6
Net periodic pension costs	$ 0.6	$ 0.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)
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)