Debt - Other Debt (Details) $ in Millions	3 Months Ended
	Aug. 02, 2025 USD ($) Note	May 03, 2025 USD ($)
Debt Instrument [Line Items]
Number of notes | Note	1
Debt, short-term	$ 0.2	$ 0.2
Other Debt
Debt Instrument [Line Items]
Weighted-average interest rate (as a percent)	1.80%
Debt, short-term	$ 0.2