| **Leases Maturities of Lease Liabilities (Details) $ in Millions**       | Jul. 31, 2020 USD ($) |
|--------------------------------------------------------------------------|-----------------------|
| **Leases [Abstract]**                                                    |                  |
| Finance Lease, Liability, to be Paid, Remainder of Fiscal Year           | $ 0                   |
| Lessee, Operating Lease, Liability, to be Paid, Remainder of Fiscal Year | 8                     |
| Finance Lease, Liability, to be Paid, Year Two                           | 1                     |
| Lessee, Operating Lease, Liability, to be Paid, Year Two                 | 35                    |
| Finance Lease, Liability, to be Paid, Year Three                         | 1                     |
| Lessee, Operating Lease, Liability, to be Paid, Year Three               | 27                    |
| Finance Lease, Liability, to be Paid, Year Four                          | 0                     |
| Lessee, Operating Lease, Liability, to be Paid, Year Four                | 21                    |
| Finance Lease, Liability, to be Paid, Year Five                          | 0                     |
| Lessee, Operating Lease, Liability, to be Paid, Year Five                | 14                    |
| Finance Lease, Liability, to be Paid, after Year Five                    | 0                     |
| Lessee, Operating Lease, Liability, to be Paid, after Year Five          | 33                    |
| Finance Lease, Liability, Payment, Due                                   | 2                     |
| Lessee, Operating Lease, Liability, to be Paid                           | 138                   |
| Finance Lease, Liability, Undiscounted Excess Amount                     | 0                     |
| Lessee, Operating Lease, Liability, Undiscounted Excess Amount           | 16                    |
| Finance Lease, Liability                                                 | 2                     |
| Operating Lease, Liability                                               | $ 122                 |

| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              |
|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Present value of lessee's discounted obligation for lease payments from finance lease.
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 45 -Paragraph 1 -Subparagraph (b) -URI http://asc.fasb.org/extlink&oid=121603541&loc=SL77918627-209977
+ Details**Name:**us-gaap_FinanceLeaseLiability**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   |
|-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payments for finance lease.
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_FinanceLeaseLiabilityPaymentsDue**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            |
|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for finance lease to be paid after fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_FinanceLeaseLiabilityPaymentsDueAfterYearFive**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |
|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for finance lease to be paid in fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_FinanceLeaseLiabilityPaymentsDueYearFive**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |
|-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for finance lease to be paid in fourth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_FinanceLeaseLiabilityPaymentsDueYearFour**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |
|-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for finance lease to be paid in third fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_FinanceLeaseLiabilityPaymentsDueYearThree**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |
|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for finance lease to be paid in second fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_FinanceLeaseLiabilityPaymentsDueYearTwo**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       |
|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for finance lease to be paid in remainder of current fiscal year.
+ References
Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_FinanceLeaseLiabilityPaymentsRemainderOfFiscalYear**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      |
|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payments in excess of discounted obligation for lease payments for finance lease.
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_FinanceLeaseLiabilityUndiscountedExcessAmount**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                        |
|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - References
No definition available.
+ Details**Name:**us-gaap_LeasesAbstract**Namespace Prefix:**us-gaap_**Data Type:**xbrli:stringItemType**Balance Type:**na**Period Type:**duration |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            |
|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for operating lease.
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_LesseeOperatingLeaseLiabilityPaymentsDue**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |
|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for operating lease due after fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueAfterYearFive**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              |
|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearFive**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |
|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in fourth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearFour**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |
|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in third fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearThree**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              |
|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in second fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearTwo**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              |
|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payment for operating lease having initial or remaining lease term in excess of one year to be paid in remainder of current fiscal year.
+ References
Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_LesseeOperatingLeaseLiabilityPaymentsRemainderOfFiscalYear**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |
|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Amount of lessee's undiscounted obligation for lease payments in excess of discounted obligation for lease payments for operating lease.
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980
+ Details**Name:**us-gaap_LesseeOperatingLeaseLiabilityUndiscountedExcessAmount**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |
| X                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |
|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| - Definition
Present value of lessee's discounted obligation for lease payments from operating lease.
+ References
Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 45 -Paragraph 1 -Subparagraph (b) -URI http://asc.fasb.org/extlink&oid=121603541&loc=SL77918627-209977
+ Details**Name:**us-gaap_OperatingLeaseLiability**Namespace Prefix:**us-gaap_**Data Type:**xbrli:monetaryItemType**Balance Type:**credit**Period Type:**instant |