XML 92 R81.htm IDEA: XBRL DOCUMENT v3.25.1
Fair-Value Measurements (Narrative) (Details) - USD ($)
Mar. 31, 2025
Dec. 31, 2024
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Carrying value of senior unsecured notes $ 3,500,000,000  
Fair value of senior unsecured notes 3,600,000,000 $ 3,500,000,000
Principal $ 3,485,605,000 $ 3,776,605,000