Commitments and Contingent Liabilities, Purchase Obligations (Details) - USD ($) $ in Billions	Jun. 30, 2023	Dec. 31, 2022
Unrecorded Unconditional Purchase Obligation [Line Items]
Unrecorded purchase obligation, in total	$ 13.8	$ 17.6

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 440
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482648/440-10-50-4

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 440
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482648/440-10-50-4

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 440
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482648/440-10-50-4

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