XML 37 R30.htm IDEA: XBRL DOCUMENT v3.25.1
Revenues - Additional Information (Details) - USD ($)
$ in Millions
3 Months Ended
Apr. 30, 2025
Apr. 30, 2024
Jan. 31, 2025
Revenue from Contract with Customer [Abstract]      
Deferred revenue $ 574.1   $ 608.6
Deferred revenue, revenue recognized out of beginning balance 229.0 $ 226.1  
Remaining performance obligation, revenue expected to be recognized $ 1,500.0