Notes payable (Tables)

12 Months Ended

Dec. 31, 2023

Debt Disclosure [Abstract]

Summary of notes payable

A summary of notes payable is as follows:

	2023	2022
	(in $ thousands)
3.6% Senior Notes	445,130	444,608
Other notes payable	160	2,398
	445,290	447,006