v3.25.2
Revenue Recognition, Contracts with Customers - Assets Recognized for the Costs to Fulfill a Contract (Details) - USD ($)
$ in Millions
Apr. 30, 2025
Apr. 30, 2024
Revenue from Contract with Customer [Abstract]    
Costs capitalized $ 2.2 $ 3.1