Shareholders' equity - Schedule of Dividends (Details) - USD ($) $ / shares in Units, $ in Millions	3 Months Ended				6 Months Ended
	Jul. 29, 2023	Apr. 29, 2023	Jul. 30, 2022	Apr. 30, 2022	Jul. 29, 2023	Jul. 30, 2022
Class of Stock [Line Items]
Common stock, dividends (usd per share)	$ 0.23	$ 0.23	$ 0.20	$ 0.20	$ 0.46	$ 0.40
Dividends, common stock	$ 10.3	$ 10.4	$ 9.2	$ 9.3	$ 20.7	$ 18.5
Dividends declared per preferred share (usd per share)	$ 13.14	$ 13.14	$ 13.14	$ 13.14	$ 26.28	$ 26.28
Dividends, preferred stock	$ 8.2	$ 8.2	$ 8.2	$ 8.2	$ 16.4	$ 16.4
Accrued expenses and other current liabilities | Common Stock
Class of Stock [Line Items]
Dividends payable	10.3		9.2		10.3	9.2
Accrued expenses and other current liabilities | Series A Redeemable Convertible Preferred Stock
Class of Stock [Line Items]
Dividends payable	$ 8.2		$ 8.2		$ 8.2	$ 8.2