XML 46 R36.htm IDEA: XBRL DOCUMENT v3.24.3
Investments - Additional Information (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Oct. 31, 2024
Oct. 31, 2023
Oct. 31, 2024
Oct. 31, 2023
Jan. 31, 2024
Investments, Debt and Equity Securities [Abstract]          
Unrealized losses for securities in unrealized loss position for less than 12 months $ 6.6   $ 6.6   $ 6.0
Unrealized losses for securities in unrealized loss position for 12 months or longer 0.5   0.5   $ 4.8
Available-for-sale, realized gains or losses $ 0.0 $ 0.0 $ 0.0 $ 0.0