Leases -Schedule of lease expense incurred (Details) - USD ($) $ in Millions	3 Months Ended
	Jan. 31, 2025	Feb. 02, 2024
Leases [Abstract]
Operating lease expense	$ 8.6	$ 9.2
Short-term lease expense	1.1	1.0
Total lease expense	$ 9.7	$ 10.2