Fair value (Details) $ in Millions	Jan. 31, 2025 USD ($)
Level 2 \| 4.50% Senior Notes due 2029
Defined Benefit Plan Disclosure [Line Items]
Fair value of the notes	$ 567.0

The fair value amount of long-term debt whether such amount is presented as a separate caption or as a parenthetical disclosure. Additionally, this element may be used in connection with the fair value disclosures required in the footnote disclosures to the financial statements. The element may be used in both the balance sheet and disclosure in the same submission.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (bbb)(2)(i)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (bbb)(2)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

Reference 4: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (bbb)(1)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

Name:	us-gaap_LongTermDebtFairValue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant