v3.22.2.2
Debt - Other Debt (Details)
$ in Millions
6 Months Ended
Oct. 29, 2022
USD ($)
Note
Apr. 30, 2022
USD ($)
Debt Instrument [Line Items]    
Debt, short-term $ 13.0 $ 13.0
Other Debt    
Debt Instrument [Line Items]    
Number of notes | Note 3  
Weighted-average interest rate (as a percent) 1.40%  
Debt, short-term $ 0.5