v3.23.1
Investments - Bond Maturity (Details) - Recurring - Fair Value, Inputs, Level 2 [Member]
3 Months Ended
Mar. 31, 2023
Minimum  
Investments  
Maturity of bonds (in months) 2 months
Maximum  
Investments  
Maturity of bonds (in months) 20 months