XML 85 R73.htm IDEA: XBRL DOCUMENT v3.24.2.u1
Fair value measurement - Outstanding Debt (Details) - Senior Notes - Level 2 - USD ($)
$ in Millions
Feb. 03, 2024
Jul. 29, 2023
Carrying Value    
Fair Value, Balance Sheet Grouping, Financial Statement Captions [Line Items]    
Outstanding debt $ 147.7 $ 147.5
Fair Value    
Fair Value, Balance Sheet Grouping, Financial Statement Captions [Line Items]    
Outstanding debt $ 146.3 $ 145.1