Note 9 - Leases - Lease Expense (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Operating lease expense	$ 4	$ 4	$ 13	$ 13
Short-term lease expense	1	1	4	2
Total lease expense	$ 5	$ 5	$ 17	$ 15