v3.25.1
Leases Lease Cost and Other Information (Details) - USD ($)
$ in Millions
 12 Months Ended
Apr. 30, 2025
Apr. 30, 2024
Apr. 30, 2023
Leases [Abstract]      
Total lease cost [1] $ 45 $ 51 $ 38
Cash paid for amounts included in the measurement of lease liabilities [2] 30 29 25
Right-of-use assets obtained in exchange for new lease liabilities $ 33 $ 38 $ 29
[1] Consists primarily of operating lease cost. Other components of lease cost were not material.
[2] Classified within operating activities in the accompanying consolidated statements of cash flows.