Note 11 - Summary of Undiscounted Cash Flows to Be Received for Net Investment in Sales-type Leases (Details) $ in Millions	Dec. 31, 2019 USD ($)
Capital Leases Future Minimum Payments Receivable [Abstract]
2020	$ 2
2021	1
2022	1
Total minimum lease payments	4
Net investment in sales-type leases	$ 4

No definition available.

Name:	us-gaap_CapitalLeasesFutureMinimumPaymentsReceivableAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 10
-URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919391-209981

+ Details

Name:	us-gaap_SalesTypeAndDirectFinancingLeasesLeaseReceivablePaymentsToBeReceived
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in the next fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date.

+ References

+ Details

Name:	us-gaap_SalesTypeAndDirectFinancingLeasesLeaseReceivablePaymentsToBeReceivedNextTwelveMonths
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in third fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date.

+ References

+ Details

Name:	us-gaap_SalesTypeAndDirectFinancingLeasesLeaseReceivablePaymentsToBeReceivedThreeYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in second fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date.

+ References

+ Details

Name:	us-gaap_SalesTypeAndDirectFinancingLeasesLeaseReceivablePaymentsToBeReceivedTwoYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of net investment in sales-type lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 6
-URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919379-209981

+ Details

Name:	us-gaap_SalesTypeLeaseNetInvestmentInLease
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant