v3.25.2
REVENUES FROM CONTRACTS WITH CUSTOMERS - Variable Consideration (Details) - USD ($)
$ in Millions
Jul. 31, 2025
Jan. 31, 2025
REVENUES FROM CONTRACTS WITH CUSTOMERS    
Amounts of unpriced change orders included in transaction prices $ 10.2 $ 8.0