XML 56 R47.htm IDEA: XBRL DOCUMENT v3.24.0.1
Revenue - Performance Obligation (Details)
$ in Millions
Feb. 02, 2024
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-02-03  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, remaining performance obligation, amount $ 8.6
Revenue, remaining performance obligation, expected timing of satisfaction, period 9 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-11-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, remaining performance obligation, amount $ 7.8
Revenue, remaining performance obligation, expected timing of satisfaction, period 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-11-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, remaining performance obligation, amount $ 5.8
Revenue, remaining performance obligation, expected timing of satisfaction, period