XML 48 R38.htm IDEA: XBRL DOCUMENT v3.23.1
LEASES - Lease cost (Details) - USD ($)
$ in Millions
3 Months Ended
Apr. 30, 2023
Apr. 30, 2022
Selling, general and administrative expenses    
Lease, Cost [Abstract]    
Lease costs $ 18.6 $ 14.1