Leases (Details) $ in Millions	3 Months Ended	9 Months Ended
	Oct. 31, 2019 USD ($) Rate	Oct. 31, 2019 USD ($) Rate
Leases [Abstract]
Operating Lease, Weighted Average Remaining Lease Term	5 years 8 months 12 days	5 years 8 months 12 days
Operating Lease, Weighted Average Discount Rate, Percent | Rate	4.80%	4.80%
Operating Leases, Rent Expense | $	$ 21.6	$ 65.0