XML 66 R55.htm IDEA: XBRL DOCUMENT v3.20.2
REVENUE - Remaining Performance Obligation (Details) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-04-30
$ in Millions
Jul. 31, 2020
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Remaining performance obligation expected timing of satisfaction period 12 years
Remaining performance obligation amount $ 217