Revenue - Schedule of Changes in Deferred Revenue (Details) $ in Millions	6 Months Ended
Mar. 31, 2020 USD ($)
Revenue From Contract With Customer [Abstract]
Balance, October 1, 2019	$ 49.1
Recognition of revenue	(446.9)
Deferral of revenue	483.9
Balance, March 31, 2020	$ 86.1

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable, classified as current.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=118944033&loc=SL49130531-203044

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=118944033&loc=SL49130532-203044

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 8
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=118956577&loc=SL49130549-203045

Name:	us-gaap_ContractWithCustomerLiabilityCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant