XML 43 R33.htm IDEA: XBRL DOCUMENT v3.25.3
Fair Value of Financial Instruments (Details 4) - Convertible Debt - USD ($)
Oct. 31, 2025
Jul. 31, 2025
Oct. 31, 2024
Mar. 31, 2018
2025 Convertible Senior Notes        
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]        
Aggregate principal amount       $ 400,000,000.0
Stated interest rate       1.25%
2029 Convertible Senior Notes        
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]        
Aggregate principal amount     $ 690,000,000.0  
Stated interest rate     1.25%  
Fair value of debt $ 815,800,000 $ 795,000,000.0