Leases - Right-of-use assets and lease liabilities (Details) $ in Millions	Sep. 30, 2019 USD ($)
Operating lease assets:
Other assets	$ 51.6
Operating lease liabilities:
Other accrued liabilities	10.2
Other liabilities	42.3
Total operating lease liabilities	$ 52.5