XML 88 R64.htm IDEA: XBRL DOCUMENT v3.25.0.1
Gain on Sale of Business (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Jan. 31, 2025
Jan. 31, 2024
Jan. 31, 2025
Jan. 31, 2024
Nov. 01, 2023
Discontinued Operations and Disposal Groups [Abstract]          
Proceeds from sale         $ 194
Net pre-tax gain on sale $ 0 $ 90 $ 0 $ 90