Revenue - Customer Concentration and Accounts Receivable (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended		12 Months Ended
	Oct. 31, 2023	Oct. 31, 2022	Oct. 31, 2023	Oct. 31, 2022	Apr. 30, 2023
Disaggregation of Revenue [Line Items]
Unbilled receivables	$ 104.8		$ 104.8		$ 77.6
Customer Concentration Risk | Revenue | Customer One
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	25.00%	32.00%	29.00%	29.00%
Customer Concentration Risk | Revenue | Customer Two
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	13.00%		13.00%
Customer Concentration Risk | Accounts Receivable | Customer One
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage			15.00%		20.00%
Customer Concentration Risk | Accounts Receivable | Customer Two
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage			11.00%		18.00%