Revenue Recognition - Remaining Performance Obligation (Details) $ in Millions |
Apr. 30, 2022
USD ($)
|
|---|---|
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligation | $ 2,990.0 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2022-05-01 | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Remaining performance obligation percentage | 63.00% |
| Revenue remaining performance obligation, expected timing of satisfaction period | 12 months |
| Billed consideration | |
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligation | $ 1,331.0 |
| Unbilled consideration | |
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligation | $ 1,659.0 |