Employee Benefit Plans (Components of Net Periodic Pension Costs) (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jan. 31, 2024	Jan. 31, 2023	Jan. 31, 2024	Jan. 31, 2023
Net periodic benefit costs
Service cost	$ 1.2	$ 1.6	$ 2.4	$ 3.2
Interest cost	5.1	4.2	10.2	8.3
Expected return on assets	(6.4)	(6.4)	(12.9)	(12.7)
Prior service cost amortization	0.0	0.1	0.0	0.1
Actuarial loss amortization	0.4	0.5	0.8	1.1
Net periodic pension costs	$ 0.3	$ 0.0	$ 0.5	$ 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)