v3.25.2
Leases -Schedule of lease expense incurred (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Aug. 01, 2025
Aug. 02, 2024
Aug. 01, 2025
Aug. 02, 2024
Leases [Abstract]        
Operating lease expense $ 9.5 $ 8.9 $ 27.0 $ 27.5
Short-term lease expense 1.1 1.3 3.6 3.4
Variable lease expense 0.7 0.1 1.4 0.2
Total lease expense $ 11.3 $ 10.3 $ 32.0 $ 31.1