XML 49 R39.htm IDEA: XBRL DOCUMENT v3.23.2
LEASES - Lease cost (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jul. 31, 2023
Jul. 31, 2022
Jul. 31, 2023
Jul. 31, 2022
Selling, general and administrative expenses        
Lease, Cost [Abstract]        
Lease costs $ 18.3 $ 14.9 $ 36.9 $ 29.0