v3.24.3
Debt (Schedule of Interest Expense Recognized) (Details) - 2025 Notes - USD ($)
$ in Millions
3 Months Ended
Oct. 31, 2024
Oct. 31, 2023
Debt Instrument, Redemption    
Contractual interest expense $ 0.7 $ 1.9
Amortization of debt issuance costs 0.5 1.0
Total interest expense $ 1.2 $ 2.9
Effective interest rate 0.60% 0.60%