Income taxes (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Oct. 30, 2020	Nov. 01, 2019	Oct. 30, 2020	Nov. 01, 2019
Income taxes
Reserves for uncertain tax benefits	$ 5.6		$ 5.6
Interest accrued related to uncertain tax benefits	0.3		0.3
Potential penalties accrued related to uncertain tax benefits	0.0		0.0
Reserves for uncertain tax benefits included in noncurrent Other liabilities	5.9		5.9
Reserve for uncertain tax positions that would impact effective tax rate if recognized	$ 5.6		$ 5.6
Effective income tax rates (as a percent)	21.60%	21.70%	21.80%	21.90%