Accounts receivable, net - Credit Quality of Finance Receivables (Details) $ in Millions	May 01, 2021 USD ($)
Financing Receivable, Credit Quality Indicator [Line Items]
Total at amortized cost	$ 82.9
Near Prime
Financing Receivable, Credit Quality Indicator [Line Items]
Total at amortized cost	46.0
Subprime
Financing Receivable, Credit Quality Indicator [Line Items]
Total at amortized cost	26.2
Deep Subprime
Financing Receivable, Credit Quality Indicator [Line Items]
Total at amortized cost	$ 10.7

Amount of financing receivable originated in fiscal year prior to current fiscal year.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 20
-Section 50
-Paragraph 6
-URI http://asc.fasb.org/extlink&oid=121599337&loc=SL82919232-210447

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 20
-Section 55
-Paragraph 79
-URI http://asc.fasb.org/extlink&oid=121647567&loc=SL82922352-210448

Name:	us-gaap_FinancingReceivableOriginatedInFiscalYearBeforeLatestFiscalYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant