v3.25.2
Leases (Maturities) (Details)
$ in Millions
Jul. 31, 2025
USD ($)
Lessee, Operating Lease, Liability, Payment, Due  
2026 $ 26.4
2027 19.8
2028 12.5
2029 5.5
2030 2.2
Thereafter 0.3
Total future lease payments 66.7
Less imputed interest 4.8
Present value of future lease payments $ 61.9