General (Details) $ / shares in Units, $ in Millions		3 Months Ended
	Feb. 16, 2024 $ / shares	Jan. 31, 2024 USD ($) $ / shares	Jan. 31, 2023 USD ($)	Oct. 31, 2023 $ / shares
Class of Stock [Line Items]
Common stock, par value (in dollars per share)		$ 0.10		$ 0.10
Revenue recognized | $		$ 31.0	$ 23.0
Subsequent Event
Class of Stock [Line Items]
Stock split, conversion ratio	4
Common stock, par value (in dollars per share)	$ 0.10