Income taxes (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Oct. 28, 2022	Oct. 29, 2021	Oct. 28, 2022	Oct. 29, 2021
Income taxes
Reserves for uncertain tax benefits	$ 9.7		$ 9.7
Interest accrued related to uncertain tax benefits	0.4		0.4
Potential penalties accrued related to uncertain tax benefits	0.0		0.0
Reserves for uncertain tax benefits included in noncurrent Other liabilities	10.1		10.1
Reserve for uncertain tax positions for which a reduction is reasonably possible in the next twelve months	1.7		1.7
Reserve for uncertain tax positions that would impact effective tax rate if recognized	$ 8.8		$ 8.8
Effective income tax rates (as a percent)	22.80%	22.20%	22.20%	21.80%