XML 46 R36.htm IDEA: XBRL DOCUMENT v3.23.2
Revenue Recognition Additional Information 1 (Detail)
$ in Millions
Jul. 31, 2023
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Performance obligations, expected to be satisfied $ 3,004.2
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-08-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Performance obligations, expected to be satisfied $ 1,277.1
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 12 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-08-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Performance obligations, expected to be satisfied $ 1,727.1
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period