v3.25.2
Revenue - Contract Liabilities (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Aug. 01, 2025
Aug. 01, 2025
Oct. 31, 2024
Revenue from Contract with Customer [Abstract]      
Contract with customer, liability $ 31.9 $ 31.9 $ 29.6
Contract with customer liability revenue recognized $ 2.9 $ 11.4