v3.25.2
COMMITMENTS (Details)
$ in Millions
Jul. 31, 2025
USD ($)
COMMITMENTS  
Unsatisfied bonded performance obligations $ 600.0
Outstanding amount of bonds covering other risks including warranty obligations $ 61.2