Leases - Lease Costs (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
	Feb. 01, 2020	Feb. 01, 2020
Lease, Cost [Abstract]
Operating Lease Cost	$ 2.3	$ 7.1
Variable Lease Cost	0.3	0.7
Total Lease Cost	$ 2.6	$ 7.8