Notes payable - Summary of Notes Payable (Details) - USD ($) $ in Thousands	Dec. 31, 2022	Dec. 31, 2021	Nov. 30, 2021
Debt Instrument [Line Items]
Other notes payable	$ 2,398	$ 39,385
Notes payable	$ 447,006	483,491
3.6% Senior Notes | Senior Notes
Debt Instrument [Line Items]
Stated interest rate (as a percent)	3.60%		3.60%
3.6% Senior Notes	$ 444,608	$ 444,106