XML 49 R13.htm IDEA: XBRL DOCUMENT v3.24.0.1
Marketable Debt Securities
12 Months Ended
Dec. 31, 2023
Investments, Debt and Equity Securities [Abstract]  
Marketable Debt Securities Marketable Debt Securities
Marketable debt securities as of December 31, 2023 consisted entirely of U.S. Treasury bills purchased with maturities over three months but less than twelve months. There were no marketable debt securities as of December 31, 2022.