Commitments and Contingencies - Summary of Commitments (Details) $ in Billions	Mar. 31, 2020 USD ($)
Commitments and Contingencies Disclosure [Abstract]
Last nine months of 2020	$ 2.7
2021	5.4
2022	2.2
2023	2.4
2024	1.0
After 2024	11.4
Total commitments	$ 25.1

No definition available.

Name:	us-gaap_CommitmentsAndContingenciesDisclosureAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of the fixed and determinable portion of the unrecorded unconditional purchase obligation maturing in the fifth fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 440
-SubTopic 10
-Section 50
-Paragraph 4
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=77896938&loc=d3e25336-109308

+ Details

Name:	us-gaap_UnrecordedUnconditionalPurchaseObligationBalanceOnFifthAnniversary
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of the fixed and determinable portion of the unrecorded unconditional purchase obligation maturing in the fourth fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

Name:	us-gaap_UnrecordedUnconditionalPurchaseObligationBalanceOnFourthAnniversary
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of the fixed and determinable portion of the unrecorded unconditional purchase obligation maturing in the second fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

Name:	us-gaap_UnrecordedUnconditionalPurchaseObligationBalanceOnSecondAnniversary
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of the fixed and determinable portion of the unrecorded unconditional purchase obligation maturing in the third fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

Name:	us-gaap_UnrecordedUnconditionalPurchaseObligationBalanceOnThirdAnniversary
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of the unrecorded obligation to transfer funds in the future for fixed or minimum amounts or quantities of goods or services at fixed or minimum prices (for example, as in take-or-pay contracts or throughput contracts).

+ References

+ Details

Name:	us-gaap_UnrecordedUnconditionalPurchaseObligationBalanceSheetAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of the fixed and determinable portion of the unrecorded unconditional purchase obligation maturing after the fifth fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

Name:	us-gaap_UnrecordedUnconditionalPurchaseObligationDueAfterFiveYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of the fixed and determinable portion of the unrecorded unconditional purchase obligation maturing in the remainder of the fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

No definition available.

+ Details

Name:	us-gaap_UnrecordedUnconditionalPurchaseObligationDueInRemainderOfFiscalYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant