Quarterly report [Sections 13 or 15(d)]

Marketable Securities - Narrative (Details)

v3.25.1
Marketable Securities - Narrative (Details)
3 Months Ended 12 Months Ended
Apr. 30, 2025
USD ($)
security
Jan. 31, 2025
USD ($)
security
Investments, Debt and Equity Securities [Abstract]    
Investment income, interest $ 5,100,000 $ 8,300,000
Debt securities in an unrealized loss position | security 91 40
Unleased loss position $ 267,500,000 $ 140,000,000
Expected credit losses $ 0 $ 0