XML 72 R45.htm IDEA: XBRL DOCUMENT
v3.20.1

Leases - Schedule of Future Payments (Details) $ in Millions | Apr. 30, 2020 USD ($)
--- | ---
Operating Lease Maturity |
2020 (excluding the nine months ended April 30, 2020) | $ 13
2021 | 59
2022 | 56
2023 | 47
2024 | 45
Thereafter | 66
Total future minimum lease payments | 286
Less imputed interest | (21)
Present value of lease liabilities | 265
Sublease Income Maturity |
Remainder of fiscal year 2020 | 5
2021 | 13
2022 | 8
2023 | 1
2024 | 1
Thereafter | $ 1

X
- Definition Amount of lessee's undiscounted 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=77888426&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 payments for operating lease, due after fifth fiscal year following latest fiscal year. + 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=77888426&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 payments for operating lease, due in fifth fiscal year following latest fiscal year. + 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=77888426&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 payments for operating lease, due in fourth fiscal year following latest fiscal year. + 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=77888426&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 payments for operating lease, due in third fiscal year following latest fiscal year. + 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=77888426&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 payments for operating lease, due in second fiscal year following latest fiscal year. + 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=77888426&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 payments for operating lease having an initial or remaining lease term in excess of one year due in remainder of fiscal year following latest 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=77888426&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=77888426&loc=SL77918701-209980 + Details
Name: | us-gaap_LesseeOperatingLeaseLiabilityUndiscountedExcessAmount
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- References No definition available. + Details
Name: | us-gaap_LessorOperatingLeasePaymentsFiscalYearMaturityAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Amount of lease payments to be received by lessor in fifth fiscal year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 12 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919396-209981 + Details
Name: | us-gaap_LessorOperatingLeasePaymentsToBeReceivedFiveYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of lease payments to be received by lessor in fourth year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 12 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919396-209981 + Details
Name: | us-gaap_LessorOperatingLeasePaymentsToBeReceivedFourYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of lease payments to be received by lessor in remainder of fiscal year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 12 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919396-209981 + Details
Name: | us-gaap_LessorOperatingLeasePaymentsToBeReceivedRemainderOfFiscalYear
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of lease payments to be received by lessor after fifth fiscal year following latest statement of financial position date for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 12 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919396-209981 + Details
Name: | us-gaap_LessorOperatingLeasePaymentsToBeReceivedThereafter
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of lease payments to be received by lessor in third fiscal year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 12 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919396-209981 + Details
Name: | us-gaap_LessorOperatingLeasePaymentsToBeReceivedThreeYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of lease payments to be received by lessor in second fiscal year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 12 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919396-209981 + Details
Name: | us-gaap_LessorOperatingLeasePaymentsToBeReceivedTwoYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- References No definition available. + Details
Name: | us-gaap_OperatingLeaseLiabilitiesPaymentsDueAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

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=77888419&loc=SL77918627-209977 + Details
Name: | us-gaap_OperatingLeaseLiability
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant