Composition of Certain Financial Statement Items - Remaining Performance Obligations (Narrative) (Details) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-05-01 $ in Millions |
Apr. 30, 2026
USD ($)
|
|---|---|
| Revenue, Initial Application Period Cumulative Effect Transition [Line Items] | |
| Revenue expected to be recognized from remaining performance obligations | $ 256.9 |
| Revenue expected to be recognized from remaining performance obligations (as percent) | 49.00% |
| Revenue expected to be recognized from remaining performance obligations (in months) | 12 months |