Employee Benefit Plans (Tables)

9 Months Ended

Apr. 30, 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 April 30,				Nine Months Ended April 30,
	2023		2022		2023		2022
Service cost	$	1.6	$	1.8	$	4.8	$	5.4
Interest cost	4.2		2.4		12.6		7.4
Expected return on assets	(6.4)		(6.2)		(19.1)		(18.7)
Prior service cost amortization	0.1		0.1		0.2		0.2
Actuarial loss amortization	0.5		1.8		1.6		5.4
Settlement charge	3.3		1.1		3.3		2.3
Net periodic pension costs	$	3.3	$	1.0	$	3.4	$	2.0