Debt - Other Debt (Details) $ in Millions	6 Months Ended
	Oct. 28, 2023 USD ($) Note	Apr. 29, 2023 USD ($)
Debt Instrument [Line Items]
Debt, short-term	$ 3.0	$ 3.2
Other Debt
Debt Instrument [Line Items]
Number of notes | Note	3
Weighted-average interest rate (as a percent)	1.40%
Debt, short-term	$ 3.0