Employee Benefit Plans (Tables)

3 Months Ended

Oct. 31, 2023

Retirement Benefits, Description [Abstract]

Schedule of net periodic pension costs

Net periodic pension costs for the Company’s pension plans were as follows (in millions):

	Three Months Ended October 31,
	2023		2022
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.1
Actuarial loss amortization	0.3		0.5
Net periodic pension costs	$	0.2	$	—