LEASES - Lease cost (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Oct. 31, 2023	Oct. 31, 2022	Oct. 31, 2023	Oct. 31, 2022
Selling, general and administrative expenses
Lease, Cost [Abstract]
Lease costs	$ 18.1	$ 17.1	$ 55.1	$ 46.1