Employee Retirement Plans (Details) - USD ($) $ in Millions	12 Months Ended
	Oct. 31, 2024	Oct. 31, 2023	Oct. 31, 2022
Retirement Benefits [Abstract]
Plan expenses	$ 32.0	$ 38.1	$ 35.3
Projected benefit obligation	19.6	18.3
Fair value of the plan assets	20.7	17.6
Underfunded status of plans		0.7
Net cost and (reversal of cost) recognized	$ 0.4	$ 0.2	$ (0.2)