XML 50 R39.htm IDEA: XBRL DOCUMENT v3.24.2.u1
LEASES - Lease cost (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jul. 31, 2024
Jul. 31, 2023
Jul. 31, 2024
Jul. 31, 2023
Selling, general and administrative expenses        
Lease, Cost [Abstract]        
Lease costs $ 18.0 $ 18.3 $ 36.2 $ 36.9