Other income (Details) - USD ($) $ in Millions	1 Months Ended	3 Months Ended
	Aug. 31, 2019	Jun. 30, 2019
Other income
Cash received from settlement of a working capital adjustment dispute	$ 8.9
Other income relating to a change in estimate of its cylinder deposit liability account		$ 0.5