Annual report [Section 13 and 15(d), not S-K Item 405]

Note 20 - Income Taxes - Schedule of Income Taxes Paid (Details)

v3.25.4
Note 20 - Income Taxes - Schedule of Income Taxes Paid (Details) - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2025
Dec. 31, 2024
Dec. 31, 2023
Cash paid for income taxes $ 98 $ 90 $ 97
Domestic Tax Jurisdiction [Member]      
Cash paid for income taxes 13    
State and Local Jurisdiction [Member]      
Cash paid for income taxes 0    
Foreign Tax Jurisdiction [Member] | CHINA      
Cash paid for income taxes 39    
Foreign Tax Jurisdiction [Member] | GERMANY      
Cash paid for income taxes 19    
Foreign Tax Jurisdiction [Member] | SAUDI ARABIA      
Cash paid for income taxes 8    
Foreign Tax Jurisdiction [Member] | Other Foreign Countries [Member]      
Cash paid for income taxes $ 19