Quarterly report pursuant to Section 13 or 15(d)

Long-Term Debt - Schedule of Redemption of Notes at Applicable Redemption Prices (Detail)

v3.23.2
Long-Term Debt - Schedule of Redemption of Notes at Applicable Redemption Prices (Detail) - 4.625% Senior Unsecured Notes due 2027
3 Months Ended
Jul. 31, 2023
2022  
Debt Instrument [Line Items]  
Redemption price, percentage 102.313%
2023  
Debt Instrument [Line Items]  
Redemption price, percentage 101.156%
2024 and thereafter  
Debt Instrument [Line Items]  
Redemption price, percentage 100.00%