Consolidated Statements of Operations (Parentheticals) - USD ($) $ in Millions	12 Months Ended
Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Discontinued operations, gain on disposal	$ 14.1

Amount before tax of gain (loss) not previously recognized resulting from the disposal of a discontinued operation.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 50
-Paragraph 1
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=109222650&loc=d3e1361-107760

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 45
-Paragraph 3
-URI http://asc.fasb.org/extlink&oid=109222160&loc=d3e957-107759

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 45
-Paragraph 3B
-URI http://asc.fasb.org/extlink&oid=109222160&loc=SL51721525-107759

Name:	us-gaap_DiscontinuedOperationGainLossFromDisposalOfDiscontinuedOperationBeforeIncomeTax
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration