Earnings Per Share - Schedule of Earnings Per Share (Details) - USD ($) $ / shares in Units, shares in Millions, $ in Millions	3 Months Ended
	Jan. 31, 2023	Jan. 31, 2022
Earnings Per Share [Abstract]
Net income	$ 84.6	$ 95.3
Basic:
Weighted average common shares (in shares)	49.4	49.4
Basic earnings per share (in dollars per share)	$ 1.71	$ 1.93
Diluted:
Weighted average common shares (in shares)	49.4	49.4
Effect of potential dilutive shares (in shares)	0.3	0.5
Diluted weighted average common shares (in shares)	49.7	49.9
Diluted earnings per share (in dollars per share)	$ 1.70	$ 1.91