Revenue Recognition - Remaining Performance Obligation (Details) $ in Millions |
Jul. 31, 2022
USD ($)
|
|---|---|
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligation | $ 3,213.0 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2022-08-01 | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Remaining performance obligation (as a percent) | 61.00% |
| Revenue remaining performance obligation, expected timing of satisfaction period (in months) | 12 months |
| Billed consideration | |
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligation | $ 1,401.1 |
| Unbilled consideration | |
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligation | $ 1,811.9 |