XML 80 R57.htm IDEA: XBRL DOCUMENT v3.20.2
Long-Term Obligations and Commitments - Operating Lease Commitments and Unconditional Purchase Obligations (Details)
$ in Millions
Jul. 31, 2020
USD ($)
Purchase Obligation, Fiscal Year Maturity [Abstract]  
Purchase obligation due 2021 $ 135
Purchase obligation due 2022 49
Purchase obligation due 2023 19
Purchase obligation due 2024 0
Purchase obligation due 2025 0
Purchase obligation due thereafter 0
Total purchase obligations $ 203