Accumulated other comprehensive income (loss) - Changes in Accumulated OCI by Component and Reclassifications Out of Accumulated OCI (Details) $ in Millions	3 Months Ended
	May 04, 2024 USD ($)
AOCI Attributable to Parent, Net of Tax [Roll Forward]
Beginning Balance	$ 2,166.5
Other comprehensive income (loss) (“OCI”) before reclassifications	(4.1)
Amounts reclassified from AOCI to earnings	(0.2)
Net current period OCI	(4.3)
Ending Balance	2,081.8
Accumulated other comprehensive income (loss)
AOCI Attributable to Parent, Net of Tax [Roll Forward]
Beginning Balance	(265.3)
Ending Balance	(269.6)
Foreign currency translation
AOCI Attributable to Parent, Net of Tax [Roll Forward]
Beginning Balance	(265.2)
Other comprehensive income (loss) (“OCI”) before reclassifications	(4.1)
Amounts reclassified from AOCI to earnings	0.0
Net current period OCI	(4.1)
Ending Balance	(269.3)
Losses on available-for-sale securities, net
AOCI Attributable to Parent, Net of Tax [Roll Forward]
Beginning Balance	(0.2)
Other comprehensive income (loss) (“OCI”) before reclassifications	0.0
Amounts reclassified from AOCI to earnings	0.0
Net current period OCI	0.0
Ending Balance	(0.2)
Gains (losses) on cash flow hedges
AOCI Attributable to Parent, Net of Tax [Roll Forward]
Beginning Balance	0.1
Other comprehensive income (loss) (“OCI”) before reclassifications	0.0
Amounts reclassified from AOCI to earnings	(0.2)
Net current period OCI	(0.2)
Ending Balance	$ (0.1)