XML 90 R80.htm IDEA: XBRL DOCUMENT v3.25.2
Fair-Value Measurements (Narrative) (Details) - USD ($)
Jun. 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,150,960,000 $ 3,776,605,000