XML 80 R70.htm IDEA: XBRL DOCUMENT v3.25.0.1
Leases - Schedule of Future Minimum Operating Lease Payments (Details)
$ in Millions
Jan. 31, 2025
USD ($)
ASC Topic 842 Leases  
2025 (remaining) $ 19.0
2026 20.0
2027 16.4
2028 13.8
2029 10.9
Thereafter 61.8
Total future minimum operating lease payments 141.9
Less: imputed interest 23.9
Present value of operating lease liabilities $ 118.0