Shareholders' equity - Schedule of Class of Treasury Stock (Details) - USD ($) $ / shares in Units, shares in Millions, $ in Millions	3 Months Ended				6 Months Ended		66 Months Ended
	Jul. 29, 2023	Apr. 29, 2023	Jul. 30, 2022	Apr. 30, 2022	Jul. 29, 2023	Jul. 30, 2022	Jul. 29, 2023
Class of Stock [Line Items]
Amount repurchased	$ 43.3	$ 39.1	$ 22.8	$ 268.2
2017 Program
Class of Stock [Line Items]
Shares repurchased (in shares)					1.2	4.7
Amount repurchased					$ 82.4	$ 341.0	$ 1,200.0
Average repurchase price per share (usd per share)					$ 69.88	$ 72.14
Accelerated Share Repurchase Agreement
Class of Stock [Line Items]
Amount repurchased						$ 50.0