XML 61 R73.htm IDEA: XBRL DOCUMENT
v3.19.3.a.u2

Leases (Maturity) (Details) $ in Millions | Dec. 31, 2019 USD ($)
--- | ---
Operating lease maturity |
2020 | $ 16
2021 | 12
2022 | 14
2023 | 12
2024 | 12
Thereafter | 135
Total future minimum rental payment | 201
Less amount representing imputed interest | (72)
Present value of future minimum rental payments under operating leases | 129
Operating lease current portion, recorded in other current liabilities | $ (13)
Operating Lease, Liability, Current, Statement of Financial Position [Extensible List] | Other Liabilities, Current
Operating lease long-term lease liabilities, recorded in other long-term | $ 116
Operating Lease, Liability, Noncurrent, Statement of Financial Position [Extensible List] | Other Liabilities, Noncurrent
Finance lease maturity |
2020 | $ 71
2021 | 71
2022 | 71
2023 | 71
2024 | 71
Thereafter | 327
Total future minimum rental payment | 682
Less amount representing imputed interest | (203)
Present value of future minimum rental payments under finance leases | 479
Finance lease current portion, recorded in other current liabilities | $ (35)
Finance Lease, Liability, Current, Statement of Financial Position [Extensible List] | Other Liabilities, Current
Finance lease long-term lease liabilities, recorded in other long-term liabilities | $ 444
Finance Lease, Liability, Noncurrent, Statement of Financial Position [Extensible List] | Other Liabilities, Noncurrent

X
- References No definition available. + Details
Name: | us-gaap_FinanceLeaseLiabilitiesPaymentsRollingMaturityAbstract
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 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=77888426&loc=SL77918701-209980 Reference 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=77888419&loc=SL77918627-209977 + Details
Name: | us-gaap_FinanceLeaseLiability
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 finance lease, classified as current. + 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_FinanceLeaseLiabilityCurrent
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Indicates line item in statement of financial position that includes current finance lease liability. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 45 -Paragraph 2 -URI http://asc.fasb.org/extlink&oid=77888419&loc=SL77918631-209977 + Details
Name: | us-gaap_FinanceLeaseLiabilityCurrentStatementOfFinancialPositionExtensibleList
Namespace Prefix: | us-gaap_
Data Type: | srt-types:extensibleListItemType
Balance Type: | na
Period Type: | instant

X
- Definition Present value of lessee's discounted obligation for lease payments from finance lease, classified as noncurrent. + 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_FinanceLeaseLiabilityNoncurrent
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Indicates line item in statement of financial position that includes noncurrent finance lease liability. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 45 -Paragraph 2 -URI http://asc.fasb.org/extlink&oid=77888419&loc=SL77918631-209977 + Details
Name: | us-gaap_FinanceLeaseLiabilityNoncurrentStatementOfFinancialPositionExtensibleList
Namespace Prefix: | us-gaap_
Data Type: | srt-types:extensibleListItemType
Balance Type: | na
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=77888426&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 payments for finance lease, due after fifth fiscal year following latest statement of financial position date. For 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 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918701-209980 + Details
Name: | us-gaap_FinanceLeaseLiabilityPaymentsDueInNextRollingTwelveMonths
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, due after fifth rolling twelve months following latest statement of financial position date. For 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 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918701-209980 + Details
Name: | us-gaap_FinanceLeaseLiabilityPaymentsDueInRollingAfterYearFive
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, due in fifth rolling twelve months following latest statement of financial position date. For 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 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918701-209980 + Details
Name: | us-gaap_FinanceLeaseLiabilityPaymentsDueInRollingYearFive
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, due in fourth rolling twelve months following latest statement of financial position date. For 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 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918701-209980 + Details
Name: | us-gaap_FinanceLeaseLiabilityPaymentsDueInRollingYearFour
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, due in third rolling twelve months following latest statement of financial position date. For 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 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918701-209980 + Details
Name: | us-gaap_FinanceLeaseLiabilityPaymentsDueInRollingYearThree
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, due in second rolling twelve months following latest statement of financial position date. For 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 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918701-209980 + Details
Name: | us-gaap_FinanceLeaseLiabilityPaymentsDueInRollingYearTwo
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=77888426&loc=SL77918701-209980 + Details
Name: | us-gaap_FinanceLeaseLiabilityUndiscountedExcessAmount
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. + 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 rolling twelve months following latest statement of financial position date. For 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 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918701-209980 + Details
Name: | us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueAfterRollingYearFive
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 rolling twelve months following latest statement of financial position date. For 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/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_LesseeOperatingLeaseLiabilityPaymentsDueInRollingYearFive
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 rolling twelve months following latest statement of financial position date. For 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/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_LesseeOperatingLeaseLiabilityPaymentsDueInRollingYearFour
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 rolling twelve months following latest statement of financial position date. For 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/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_LesseeOperatingLeaseLiabilityPaymentsDueInRollingYearThree
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 rolling twelve months following latest statement of financial position date. For 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/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_LesseeOperatingLeaseLiabilityPaymentsDueInRollingYearTwo
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 next rolling twelve months following latest statement of financial position date. For 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/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_LesseeOperatingLeaseLiabilityPaymentsDueNextRollingTwelveMonths
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_OperatingLeaseLiabilitiesPaymentsDueRollingMaturityAbstract
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

X
- Definition Present value of lessee's discounted obligation for lease payments from operating lease, classified as current. + 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_OperatingLeaseLiabilityCurrent
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Indicates line item in statement of financial position that includes current operating lease liability. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 45 -Paragraph 2 -URI http://asc.fasb.org/extlink&oid=77888419&loc=SL77918631-209977 + Details
Name: | us-gaap_OperatingLeaseLiabilityCurrentStatementOfFinancialPositionExtensibleList
Namespace Prefix: | us-gaap_
Data Type: | srt-types:extensibleListItemType
Balance Type: | na
Period Type: | instant

X
- Definition Present value of lessee's discounted obligation for lease payments from operating lease, classified as noncurrent. + 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_OperatingLeaseLiabilityNoncurrent
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Indicates line item in statement of financial position that includes noncurrent operating lease liability. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 45 -Paragraph 2 -URI http://asc.fasb.org/extlink&oid=77888419&loc=SL77918631-209977 + Details
Name: | us-gaap_OperatingLeaseLiabilityNoncurrentStatementOfFinancialPositionExtensibleList
Namespace Prefix: | us-gaap_
Data Type: | srt-types:extensibleListItemType
Balance Type: | na
Period Type: | instant