Note 3 - Leases (Details Textual) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Nov. 01, 2025	Oct. 26, 2024	Nov. 01, 2025	Oct. 26, 2024	May 03, 2025
Operating Lease, Cost	$ 4.6	$ 4.1	$ 9.2	$ 8.3
Operating Lease, Weighted Average Remaining Lease Term (Year)	5 years 7 months 13 days		5 years 7 months 13 days		5 years 11 months 1 day
Operating Lease, Weighted Average Discount Rate, Percent	4.56%		4.56%		4.52%
Operating Lease, Payments	$ 4.6	$ 4.3	$ 9.2	$ 8.4