Summary of Significant Accounting Policies - Patent Costs (Details) - USD ($) $ in Millions	3 Months Ended	12 Months Ended
Dec. 31, 2018	Dec. 31, 2019	Sep. 30, 2018	Sep. 30, 2017
Accounting Policies [Abstract]
Patent costs	$ 0.2	$ 2.0	$ 1.0	$ 0.5

A fee charged for services from professionals such as doctors, lawyers and accountants. The term is often expanded to include other professions, for example, pharmacists charging to maintain a medicinal profile of a client or customer.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 946
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.6-07.2(a),(b),(c),(d))
-URI http://asc.fasb.org/extlink&oid=116637345&loc=SL114874292-224272

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 946
-SubTopic 220
-Section 45
-Paragraph 3
-Subparagraph (k)
-URI http://asc.fasb.org/extlink&oid=118262090&loc=SL114874205-224268

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