v3.25.1
Related-Party Transactions (Details) - USD ($)
$ in Millions
3 Months Ended
Apr. 30, 2025
Apr. 30, 2024
Jan. 31, 2025
Nov. 01, 2022
Related Party Transaction [Line Items]        
Equity securities without readily determinable fair value, amount $ 0.0   $ 2.5  
Realized investment gains 1.2 $ 0.0    
Zest AI        
Related Party Transaction [Line Items]        
Ownership percentage by parent       10.00%
Realized investment gains $ 1.2