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