Revenue - Unearned Revenue (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Mar. 31, 2023	Mar. 31, 2022	Mar. 31, 2023	Mar. 31, 2022	Dec. 31, 2022	Sep. 30, 2022	Dec. 31, 2021	Sep. 30, 2021
Unearned Revenue (Details)
Unearned Revenue	$ 25.7	$ 24.8	$ 25.7	$ 24.8	$ 23.0	$ 21.6	$ 24.3	$ 15.5
Contract with Customer, Liability, Revenue Recognized	$ 5.9	$ 5.0	$ 10.6	$ 10.0

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

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

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

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

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