v3.26.1
Fair Value Measurements (Details)
$ in Millions
Jul. 31, 2026
USD ($)
Fair Value Disclosures [Abstract]  
Long-term debt, fair value $ 115.9