XML 52 R40.htm IDEA: XBRL DOCUMENT v3.25.3
Revenue Recognition - Deferred Revenue (Details) - USD ($)
$ in Millions
9 Months Ended
Oct. 31, 2025
Oct. 31, 2024
Revenue from Contract with Customer [Abstract]    
Deferred revenue recognized $ 473.8 $ 421.7