XML 45 R35.htm IDEA: XBRL DOCUMENT v3.24.2.u1
Investments - Additional Information (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jul. 31, 2024
Jul. 31, 2023
Jul. 31, 2024
Jul. 31, 2023
Jan. 31, 2024
Investments, Debt and Equity Securities [Abstract]          
Unrealized losses for securities in unrealized loss position for less than 12 months $ 2.9   $ 2.9   $ 6.0
Unrealized losses for securities in unrealized loss position for 12 months or longer 3.4   3.4   $ 4.8
Available-for-sale, realized gains or losses $ 0.0 $ 0.0 $ 0.0 $ 0.0