Redeemable preferred shares - Additional Information (Details) - Series A Redeemable Convertible Preferred Stock - USD ($) $ / shares in Units, $ in Millions		1 Months Ended	3 Months Ended		9 Months Ended
	Oct. 05, 2016	Dec. 03, 2020	Oct. 31, 2020	Nov. 02, 2019	Oct. 31, 2020	Nov. 02, 2019	Feb. 01, 2020
Temporary Equity [Line Items]
Redeemable convertible preferred stock, shares issued (shares)	625,000
Preferred stock, purchase price	$ 625.0
Shares issued, price per share (in usd per share)	$ 1,000
Preferred stock, dividend rate, percentage					5.00%
Preferred stock, increase in stated value (in usd per share)			$ 12.66
Payments of stock issuance costs	$ 13.7
Accumulated accretion of dividends			$ 6.9	$ 5.2	$ 6.9	$ 5.2	$ 5.7
Accretion on redeemable convertible preferred shares			$ 0.4	$ 0.4	$ 1.2	$ 1.2
Subsequent Event
Temporary Equity [Line Items]
Preferred stock, increase in stated value (in usd per share)		$ 12.81