Leases - Operating Lease Expense (Details) $ in Millions	3 Months Ended
	Dec. 31, 2019 USD ($)
Leases
Operating lease expense	$ 4.6
Short-term lease expense	0.4
Variable lease expense	1.1
Total lease expense	$ 6.1