Common shares, treasury shares, and dividends -Schedule of Dividends (Details) - USD ($) $ / shares in Units, $ in Millions			3 Months Ended												12 Months Ended
	Oct. 08, 2024	May 06, 2024	Feb. 01, 2025	Nov. 02, 2024	Aug. 03, 2024	May 04, 2024	Feb. 03, 2024	Oct. 28, 2023	Jul. 29, 2023	Apr. 29, 2023	Jan. 28, 2023	Oct. 29, 2022	Jul. 30, 2022	Apr. 30, 2022	Feb. 01, 2025	Feb. 03, 2024	Jan. 28, 2023
Class of Stock [Line Items]
Cash dividend per share (usd per share)			$ 0.29	$ 0.29	$ 0.29	$ 0.29	$ 0.23	$ 0.23	$ 0.23	$ 0.23	$ 0.20	$ 0.20	$ 0.20	$ 0.20	$ 1.16	$ 0.92	$ 0.80
Dividends, Common Stock, Cash			$ 12.5	$ 12.6	$ 12.9	$ 12.9	$ 10.2	$ 10.2	$ 10.3	$ 10.4	$ 9.0	$ 9.2	$ 9.2	$ 9.3	$ 50.9	$ 41.1	$ 36.7
Dividends, preferred stock, cash															96.8	34.5	34.5
Series A Redeemable Convertible Preferred Stock
Class of Stock [Line Items]
Dividends, preferred stock, cash			0.0	$ 1.3	$ 2.8	$ 6.2	8.3	$ 8.2	$ 8.2	$ 8.2	$ 8.2	$ 8.2	$ 8.2	$ 8.2	10.3	32.9	$ 32.8
Dividends, Preferred Stock	$ 1.3	$ 2.1
Other Current Liabilities [Member] | Common shares at par value
Class of Stock [Line Items]
Dividends payable, current			$ 12.5				10.2								$ 12.5	10.2
Other Current Liabilities [Member] | Series A Redeemable Convertible Preferred Stock
Class of Stock [Line Items]
Dividends payable, current							$ 8.3									$ 8.3