v3.25.1
Fair Value Measurements (Details)
$ in Millions
Apr. 30, 2025
USD ($)
Fair Value Disclosures [Abstract]  
Long-term debt, fair value $ 306.0