Revenue - Deferred Revenue (Details) - USD ($) $ in Millions |
3 Months Ended | ||
|---|---|---|---|
Jul. 31, 2026 |
Jul. 31, 2025 |
Apr. 30, 2026 |
|
| Revenue from Contract with Customer [Abstract] | |||
| Contract with customer, liability | $ 53.7 | $ 36.4 | |
| Revenue recognized | $ 19.2 | $ 23.6 | |
| X | ||||||||||
- Definition Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of revenue recognized that was previously included in balance of obligation to transfer good or service to customer for which consideration from customer has been received or is due. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- References No definition available.
|