Investments - Gains and proceeds (Details) - USD ($) $ in Millions	3 Months Ended
Mar. 31, 2020	Mar. 31, 2019
Investments
Proceeds from sale of available-for-sale debt securities	$ 1.2	$ 1.1
Purchases of available-for-sale securities	49.9
Maximum
Investments
Realized loss (gain) on sale of investments	$ 0.1	0.1
Purchases of available-for-sale securities		$ 0.1

Amount of realized gain (loss) on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 9
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=118939692&loc=d3e27357-111563

+ Details

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

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

No definition available.

+ Details

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

- Definition

Amount of cash outflow for purchase of marketable security.

+ References

+ Details

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

- Definition

Amount of cash inflow from sale of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=118954083&loc=d3e26853-111562

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=118932676&loc=d3e3151-108585

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 12
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=118932676&loc=d3e3179-108585

+ Details

Name:	us-gaap_ProceedsFromSaleOfAvailableForSaleSecuritiesDebt
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Details

Name:	srt_RangeAxis=srt_MaximumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: