Contingencies (Details) $ in Millions	3 Months Ended
	Jul. 29, 2023 USD ($)
Loss Contingencies [Line Items]
Loss Contingency, Loss in Period	$ 0.9
Loss Contingency, Estimate of Possible Loss	$ 0.9