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