Revenue Recognition - Performance Obligation (Details) $ in Millions |
Apr. 30, 2024
USD ($)
|
|---|---|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Remaining performance obligations | $ 922.5 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-05-01 | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Remaining performance obligations | $ 570.4 |
| Timing of satisfaction of performance obligation | 12 months |