Accounts receivable, net - Additional Information (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jul. 31, 2021	Aug. 01, 2020	Jul. 31, 2021	Aug. 01, 2020
Receivables [Abstract]
Interest income	$ 2.5	$ 0.0	$ 6.5	$ 0.0

Amount of interest income earned from interest bearing assets classified as other.

No definition available.

Name:	us-gaap_InterestIncomeOther
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration