Leases (Narrative) (Details) - USD ($) $ in Billions	Dec. 31, 2024	Dec. 31, 2023
Lessee, Lease, Description [Line Items]
Lessor, operating lease assets	$ 0.4	$ 0.4
Lessor, accumulated depreciation	$ 0.2	$ 0.2
Lease, renewal term	99 years
Minimum
Lessee, Lease, Description [Line Items]
Operating lease, term of contract	1 year
Maximum
Lessee, Lease, Description [Line Items]
Operating lease, term of contract	43 years

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 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 7A
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-7A

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-3

+ Details

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

- Definition

Term of lessee's operating lease renewal, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (a)(3)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-3

+ Details

Name:	us-gaap_LesseeOperatingLeaseRenewalTerm
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- Definition

Term of lessee's operating lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

+ Details

Name:	us-gaap_LesseeOperatingLeaseTermOfContract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- Definition

Amount of accumulated depreciation of lessor's underlying asset for which right to use has been conveyed to lessee under operating lease.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 840
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481501/840-20-50-4

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 13
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479773/842-30-50-13

Reference 3: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-SubTopic 20
-Topic 840
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481532/840-20-45-3

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

+ Details

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

- Definition

Amount, before accumulated depreciation, of lessor's underlying asset for which right to use has been conveyed to lessee under operating lease.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 840
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481501/840-20-50-4

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 13
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479773/842-30-50-13

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

Reference 4: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Name Accounting Standards Codification
-Section 45
-Paragraph 2
-SubTopic 20
-Topic 840
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481532/840-20-45-2

+ Details

Name:	us-gaap_PropertySubjectToOrAvailableForOperatingLeaseGross
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Details

Name:	srt_RangeAxis=srt_MinimumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	srt_RangeAxis=srt_MaximumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: