XML 62 R49.htm IDEA: XBRL DOCUMENT v3.25.1
Composition of Certain Financial Statement Items - Remaining Performance Obligations (Narrative) (Details) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-05-01
$ in Millions
Apr. 30, 2025
USD ($)
Revenue, Initial Application Period Cumulative Effect Transition [Line Items]  
Revenue expected to be recognized from remaining performance obligations $ 262.8
Revenue expected to be recognized from remaining performance obligations (as percent) 45.00%
Revenue expected to be recognized from remaining performance obligations (in months) 12 months