v3.25.1
Investments - Bond Maturity (Details) - US government agencies and corporate debt securities - Recurring - Level 2
3 Months Ended
Mar. 31, 2025
Minimum  
Investments  
Maturity of bonds (in months) 1 month
Maximum  
Investments  
Maturity of bonds (in months) 44 months