XML 56 R39.htm IDEA: XBRL DOCUMENT v3.25.2
Revenue - Deferred Revenue Balance (Details) - USD ($)
$ in Millions
12 Months Ended
Apr. 30, 2025
Apr. 30, 2024
Revenue from Contract with Customer [Abstract]    
Deferred revenue $ 36.6 $ 39.0
Revenue recognized $ 38.5 $ 47.8