Fair-Value Measurements (Narrative) (Details) - USD ($) |
Sep. 30, 2025 |
Dec. 31, 2024 |
|---|---|---|
| Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | ||
| Carrying value of senior unsecured notes | $ 3,100,000,000 | $ 3,500,000,000 |
| Fair value of senior unsecured notes | 3,200,000,000 | 3,500,000,000 |
| Principal | $ 3,137,960,000 | $ 3,776,605,000 |
| X | ||||||||||
- Definition Amount, before unamortized (discount) premium and debt issuance costs, of long-term debt. Includes, but is not limited to, notes payable, bonds payable, commercial loans, mortgage loans, convertible debt, subordinated debt and other types of debt. Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
|
| X | ||||||||||
- Definition 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/exampleRef
|
| X | ||||||||||
- Definition The fair value amount of long-term debt whether such amount is presented as a separate caption or as a parenthetical disclosure. Additionally, this element may be used in connection with the fair value disclosures required in the footnote disclosures to the financial statements. The element may be used in both the balance sheet and disclosure in the same submission. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Carrying value as of the balance sheet date of uncollateralized debt obligation (with maturities initially due after one year or beyond the operating cycle if longer), excluding current portion. Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
|