v3.25.3
Leases - Additional Information (Details)
$ in Millions
Oct. 31, 2025
USD ($)
Leases [Abstract]  
Undiscounted future minimum payments $ 96.8
Lease not yet commenced, term of contract (in years) 11 years 2 months 12 days