v3.25.1
Investments - Additional Information (Details) - USD ($)
$ in Millions
3 Months Ended
Apr. 30, 2025
Apr. 30, 2024
Jan. 31, 2025
Investments, Debt and Equity Securities [Abstract]      
Unrealized losses for securities in unrealized loss position for less than 12 months $ 1.5   $ 6.2
Available-for-sale, realized gain (loss) $ 0.0 $ 0.0