Employee Benefit Plans (Tables)

6 Months Ended

Jan. 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 January 31,				Six Months Ended January 31,
	2023		2022		2023		2022
Service cost	$	1.6	$	1.8	$	3.2	$	3.6
Interest cost	4.2		2.5		8.3		5.0
Expected return on assets	(6.4)		(6.2)		(12.7)		(12.5)
Prior service cost amortization	0.1		—		0.1		0.1
Actuarial loss amortization	0.5		1.8		1.1		3.6
Settlement charge	—		1.2		—		1.2
Net periodic pension costs	$	—	$	1.1	$	—	$	1.0