Marketable Securities - Unrealized Loss Position (Details) - USD ($) $ in Millions	12 Months Ended
Sep. 30, 2019	Mar. 31, 2020
Debt Securities, Available-for-sale, Unrealized Loss Position [Abstract]
Fair value of marketable securities in unrealized loss position	$ 12.0	$ 0.0
Other-than-temporary Impairment Loss, Debt Securities, Available-for-sale [Abstract]
Impairment losses	$ 0.0

Amount of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in unrealized loss position without allowance for credit loss.

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 50
-Paragraph 4
-Subparagraph (a)(1)
-URI http://asc.fasb.org/extlink&oid=118955579&loc=SL82922888-210455

Reference 3: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 55
-Paragraph 8
-URI http://asc.fasb.org/extlink&oid=118942371&loc=SL82922954-210456

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