Retirement Plan (Details) - USD ($) $ in Millions	12 Months Ended
	Apr. 30, 2020	Apr. 30, 2019	Apr. 30, 2018
Retirement Plan
Employee contributions matched by employer (as a percent)	50.00%
Employee compensation eligible for employer match of employee contributions (as a percent)	4.00%
Employer contributions to defined contribution retirement plan	$ 5.3	$ 4.7	$ 4.3