Community Development District Infrastructure and Related Obligations Community Development District Infrastructure and Related Obligations (Tables)

12 Months Ended

Dec. 31, 2024

Community Development District Infrastructure and Realted Obligations [Abstract]

Schedule of Maturities of Long-term Debt [Table Text Block]

Following are details relating to such CDD bond obligations issued and outstanding as of December 31, 2024 and 2023:

Issue Date	Maturity Date	Interest Rate	Principal Amount as of December 31, 2024 (in thousands)		Principal Amount as of December 31, 2023 (in thousands)
12/22/2017	5/1/2048	5.13%	$	9,815	$	9,815
7/18/2019	5/1/2050	4.10%	4,705		4,705
10/29/2020	5/1/2051	3.80%	5,785		5,785
6/30/2021	5/1/2051	3.66%	6,135		6,135
10/5/2021	5/1/2052	3.59%	4,910		4,910
4/1/2022	5/1/2051	4.23%	3,750		3,750
4/1/2022	5/1/2053	4.24%	2,125		2,125
6/1/2022	5/1/2052	5.40%	5,010		5,010
6/1/2022	5/1/2053	5.40%	3,365		3,365
4/1/2024	5/1/2053	5.58%	2,590		—
Total CDD bond obligations issued and outstanding			$	48,190	$	45,600