XML 42 R34.htm IDEA: XBRL DOCUMENT v3.24.0.1
Revenue Recognition Additional Information 1 (Detail)
$ in Millions
Jan. 31, 2024
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Performance obligations, expected to be satisfied $ 3,298.8
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-02-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Performance obligations, expected to be satisfied $ 1,256.0
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 12 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-02-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Performance obligations, expected to be satisfied $ 2,042.8
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period