Revenue Recognition - Remaining Performance Obligation (Details) $ in Millions |
Oct. 31, 2020
USD ($)
|
|---|---|
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligation | $ 1,631.2 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2020-11-01 | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Remaining performance obligation percentage | 72.00% |
| Revenue remaining performance obligation, expected timing of satisfaction period | 12 months |
| Billed consideration | |
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligation | $ 854.7 |
| Unbilled consideration | |
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligation | $ 776.5 |