v3.25.2
Investments - Additional Information (Details)
$ in Millions
Apr. 26, 2025
USD ($)
Investments, Debt and Equity Securities [Abstract]  
Debt securities with no single maturity $ 6.3