v3.25.2
Shareholders' equity - Schedule of Class of Treasury Stock (Details) - USD ($)
$ / shares in Units, shares in Millions, $ in Millions
3 Months Ended 6 Months Ended 90 Months Ended
Aug. 02, 2025
May 03, 2025
Aug. 03, 2024
May 04, 2024
Aug. 02, 2025
Aug. 03, 2024
Aug. 02, 2025
Class of Stock [Line Items]              
Amount repurchased $ 32.3 $ 117.4 $ 39.8 $ 7.4      
2017 Program              
Class of Stock [Line Items]              
Shares repurchased (in shares)         2.5 0.5  
Amount repurchased         $ 149.7 $ 47.2 $ 1,500.0
Average repurchase price per share (usd per share)         $ 59.73 $ 91.88