XML 83 R45.htm IDEA: XBRL DOCUMENT v3.23.3
Basis of Presentation and Summary of Significant Accounting Policies - Additional Information 1 (Detail)
$ in Millions
Oct. 31, 2023
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Performance obligations, expected to be satisfied $ 3,422.9
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-11-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Performance obligations, expected to be satisfied $ 1,387.6
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-11-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Performance obligations, expected to be satisfied $ 2,035.3
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period