Leases (Lease Term and Discount Rate) (Details)	May 01, 2020	Jan. 31, 2020
Weighted-average remaining lease term (in years)
Operating leases	12 years 10 months 24 days	13 years 3 months 18 days
Finance leases	9 years	9 years 2 months 12 days
Weighted-average discount rate
Operating leases	3.70%	3.80%
Finance leases	2.90%	3.10%