Revenue Recognition - Remaining Performance Obligation (Details) $ in Millions |
Jul. 31, 2021
USD ($)
|
|---|---|
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligation | $ 2,346.3 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2021-08-01 | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Remaining performance obligation percentage | 69.00% |
| Revenue remaining performance obligation, expected timing of satisfaction period | 12 months |
| Billed consideration | |
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligation | $ 1,178.0 |
| Unbilled consideration | |
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligation | $ 1,168.3 |