Current and long-term obligations - Debt Maturities (Details) $ in Thousands	Jan. 31, 2025 USD ($)
Scheduled debt maturities
2025	$ 519,463
2026	17,473
2027	1,165,843
2028	1,015,161
2029	8,507
Thereafter	3,604,629
Total	$ 6,331,076

Amount, before unamortized (discount) premium and debt issuance costs, of long-term debt. Includes, but is not limited to, notes payable, bonds payable, commercial loans, mortgage loans, convertible debt, subordinated debt and other types of debt.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(22))
-SubTopic 10
-Topic 210
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(16))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478546/942-210-S99-1

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (b)(1)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481139/470-20-50-4

+ Details

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

- References

No definition available.

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirement, and other securities issued that are redeemable by holder at fixed or determinable price and date, maturing after fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480678/235-10-S99-3

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-SubTopic 10
-Topic 470
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481544/470-10-50-1

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1E
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481139/470-20-50-1E

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirement, and other securities issued that are redeemable by holder at fixed or determinable price and date, maturing in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480678/235-10-S99-3

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1E
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481139/470-20-50-1E

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-SubTopic 10
-Topic 470
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481544/470-10-50-1

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirement, and other securities issued that are redeemable by holder at fixed or determinable price and date, maturing in fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480678/235-10-S99-3

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1E
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481139/470-20-50-1E

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-SubTopic 10
-Topic 470
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481544/470-10-50-1

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirement, and other securities issued that are redeemable by holder at fixed or determinable price and date, maturing in fourth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480678/235-10-S99-3

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1E
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481139/470-20-50-1E

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-SubTopic 10
-Topic 470
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481544/470-10-50-1

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirement, and other securities issued that are redeemable by holder at fixed or determinable price and date, maturing in third fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480678/235-10-S99-3

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1E
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481139/470-20-50-1E

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-SubTopic 10
-Topic 470
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481544/470-10-50-1

+ Details

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

- Definition

Amount of long-term debt payable, sinking fund requirement, and other securities issued that are redeemable by holder at fixed or determinable price and date, maturing in second fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480678/235-10-S99-3

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1E
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481139/470-20-50-1E

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-SubTopic 10
-Topic 470
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481544/470-10-50-1

+ Details

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