Mortgage Revenue Bonds - Additional Information (Details) - USD ($) $ in Millions	Mar. 31, 2023	Dec. 31, 2022
ASU 2016-13 [Member]
Schedule Of Available For Sale Securities [Line Items]
Change in Accounting Principle, Accounting Standards Update, Adoption Date	Jan. 01, 2023
Change in Accounting Principle, Accounting Standards Update, Adopted [true false]	true
Mortgage Revenue Bond [Member]
Schedule Of Available For Sale Securities [Line Items]
Accrued interest receivable	$ 5.1	$ 4.3