Investments in debt and equity securities - Gross Unrealized Losses on Investments and Fair Values of Related Securities (Details) - USD ($) $ in Thousands	Mar. 31, 2024	Dec. 31, 2023
Losses
Less than 12 months	$ 1,796	$ 917
More than 12 months	23,353	22,776
Total	25,149	23,693
Fair values
Less than 12 months	113,200	70,643
More than 12 months	418,125	438,304
Total	531,325	508,947
Municipal
Losses
Less than 12 months	46	50
More than 12 months	182	120
Total	228	170
Fair values
Less than 12 months	5,628	13,022
More than 12 months	10,619	8,383
Total	16,247	21,405
Corporate
Losses
Less than 12 months	118	68
More than 12 months	12,302	11,878
Total	12,420	11,946
Fair values
Less than 12 months	14,737	4,808
More than 12 months	196,546	208,971
Total	211,283	213,779
Foreign
Losses
Less than 12 months	1,079	472
More than 12 months	10,678	10,625
Total	11,757	11,097
Fair values
Less than 12 months	66,628	31,918
More than 12 months	206,074	216,135
Total	272,702	248,053
U.S. Treasury Bonds
Losses
Less than 12 months	553	327
More than 12 months	191	153
Total	744	480
Fair values
Less than 12 months	26,207	20,895
More than 12 months	4,886	4,815
Total	$ 31,093	$ 25,710