Other operating and non-operating income (expense) - Components of Other Non-Operating Income (Expense) (Details) - USD ($) $ in Millions	3 Months Ended
Apr. 30, 2022	May 01, 2021
Other Income and Expenses [Abstract]
Pension settlement	$ (131.9)	$ 0.0
Other	(2.6)	0.1
Other non-operating income (expense)	$ (134.5)	$ 0.1

Amount of expense (reversal of expense) for net periodic benefit cost components, excluding service cost component, of defined benefit plan. Amount includes, but is not limited to, interest cost, expected (return) loss on plan asset, amortization of prior service cost (credit), amortization of (gain) loss, amortization of transition (asset) obligation, settlement (gain) loss, curtailment (gain) loss and certain termination benefits.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 715
-SubTopic 20
-Section 45
-Paragraph 3A
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=123453770&loc=SL108413299-114919

+ Details

Name:	us-gaap_NetPeriodicDefinedBenefitsExpenseReversalOfExpenseExcludingServiceCostComponent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

The aggregate amount of income or expense from ancillary business-related activities (that is to say, excluding major activities considered part of the normal operations of the business).

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.7)
-URI http://asc.fasb.org/extlink&oid=123367319&loc=SL114868664-224227

+ Details

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

- References

No definition available.

+ Details

Name:	us-gaap_OtherIncomeAndExpensesAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of income (expense) related to nonoperating activities, classified as other.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.9)
-URI http://asc.fasb.org/extlink&oid=123367319&loc=SL114868664-224227

+ Details

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