Accounts receivable, net - Past Due Status (Details) $ in Millions	May 01, 2021 USD ($)
Financing Receivable, Past Due [Line Items]
Current	$ 69.2
Total at amortized cost	82.9
1 - 30 days past due
Financing Receivable, Past Due [Line Items]
Financing receivable, past due	5.4
31 - 60 days past due
Financing Receivable, Past Due [Line Items]
Financing receivable, past due	1.9
61 - 90 days past due
Financing Receivable, Past Due [Line Items]
Financing receivable, past due	1.9
Greater than 90 days past due
Financing Receivable, Past Due [Line Items]
Financing receivable, past due	$ 4.5