Leases - Additional Information (Details) $ in Millions |
Jul. 31, 2025
USD ($)
|
|---|---|
| Lessee, Lease, Description [Line Items] | |
| Undiscounted future minimum payments | $ 89.7 |
| Minimum | |
| Lessee, Lease, Description [Line Items] | |
| Lease not yet commenced, term of contract | 7 years |
| Maximum | |
| Lessee, Lease, Description [Line Items] | |
| Lease not yet commenced, term of contract | 11 years 7 months 6 days |