XML 67 R55.htm IDEA: XBRL DOCUMENT v3.24.2.u1
Redeemable preferred shares - Schedule of Redeemable Preferred Shares (Details) - Series A Redeemable Convertible Preferred Stock
$ / shares in Units, shares in Millions, $ in Millions
6 Months Ended 12 Months Ended
Aug. 03, 2024
USD ($)
$ / shares
shares
Jul. 29, 2023
USD ($)
$ / shares
shares
Feb. 03, 2024
USD ($)
$ / shares
shares
Temporary Equity [Line Items]      
Conversion rate 12.6933 12.5406 12.5406
Conversion price (usd per share) | $ / shares $ 78.7817 $ 79.7410 $ 79.7410
Potential impact of preferred shares if-converted to common shares (in shares) | shares 0.0 8.2 8.2
Liquidation preference | $ $ 226.1 $ 665.1 $ 665.1