Accounts receivable, net - Additional Information (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Oct. 31, 2020	Oct. 30, 2021	Oct. 31, 2020
Receivables [Abstract]
Interest income	$ 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