XML 62 R51.htm IDEA: XBRL DOCUMENT v3.23.1
Accounts Receivables, Unbilled Receivables, Allowance for Credit Losses and Contract Liabilities - Additional information - (Detail 1)
$ in Millions
Apr. 30, 2023
USD ($)
Receivables [Line Items]  
Transaction price allocated to performance obligations $ 20.5
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-05-01  
Receivables [Line Items]  
Transaction price allocated to performance obligations $ 13.8
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 9 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-02-01  
Receivables [Line Items]  
Transaction price allocated to performance obligations $ 3.8
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 2 years