XML 61 R49.htm IDEA: XBRL DOCUMENT v3.25.1
Revenue Recognition (Remaining Performance Obligations) (Details) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-05-01
Apr. 30, 2025
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Remaining performance obligations, amount $ 708,057,000
Remaining performance obligations, period 24 months