v3.25.4
Debt - Other Debt (Details)
$ in Millions
9 Months Ended
Jan. 31, 2026
USD ($)
Note
May 03, 2025
USD ($)
Debt Instrument [Line Items]    
Number of notes | Note 1  
Debt, short-term $ 0.2 $ 0.2
Other Debt    
Debt Instrument [Line Items]    
Weighted-average interest rate (as a percent) 1.80%  
Debt, short-term $ 0.2