Finance leases and other debt - Schedule of Components of Interest Income (Expense), Net (Details) - USD ($) $ in Thousands	3 Months Ended
Apr. 30, 2024	Apr. 30, 2023
Debt Disclosure [Abstract]
Interest expense	$ (553)	$ (293)
Interest income	792	1,011
Interest income, net	$ 239	$ 718

Amount before accretion (amortization) of purchase discount (premium) of interest income on nonoperating securities.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 22
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-22

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 48
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482785/280-10-55-48

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 220
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(7)(b))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147483621/220-10-S99-2

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 270
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (i)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482964/270-10-50-1

Reference 5: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 32
-Subparagraph (ee)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-32

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