v3.22.2.2
REVENUE Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction (Details)
$ in Millions
Jul. 31, 2022
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-07-31  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, Remaining Performance Obligation, Amount $ 918.1
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-08-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, Remaining Performance Obligation, Amount $ 106.0
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 6 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-01-30  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, Remaining Performance Obligation, Amount $ 256.7
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-02-05  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, Remaining Performance Obligation, Amount $ 555.4
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period