XML 35 R28.htm IDEA: XBRL DOCUMENT v3.24.1.1.u2
Revenues - Additional Information (Details) - USD ($)
$ in Millions
3 Months Ended
Apr. 30, 2024
Apr. 30, 2023
Jan. 31, 2024
Revenue from Contract with Customer [Abstract]      
Deferred revenue $ 513.6   $ 586.9
Deferred revenue, revenue recognized out of beginning balance 226.1 $ 211.0  
Remaining performance obligation, revenue expected to be recognized $ 1,200.0    
Revenue remaining performance obligation, percentage 59.00%