Note 12 - Guarantees (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2020	Jun. 30, 2019	Jun. 30, 2020	Jun. 30, 2019
Guarantee Obligations [Line Items]
Deferred revenue on extended warranties as of December 31, 2019			$ 61
Recognition of extended warranty and maintenance arrangement revenue in 2020	$ (5)	$ (5)	(31)	$ (30)
Deferred revenue on extended warranties as of June 30, 2020	55		55
Extended Warranty Arrangements [Member]
Guarantee Obligations [Line Items]
Deferred revenue on extended warranties as of December 31, 2019			21
Extended warranty and maintenance arrangements deferred in 2020			45
Recognition of extended warranty and maintenance arrangement revenue in 2020			(47)
Deferred revenue on extended warranties as of June 30, 2020	$ 19		$ 19