Employee Benefit Plans (Tables)

6 Months Ended

Jan. 31, 2024

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,
	2024		2023		2024		2023
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.1		—		0.1
Actuarial loss amortization	0.4		0.5		0.8		1.1
Net periodic pension costs	$	0.3	$	—	$	0.5	$	—