v3.25.2
Employee Benefit Plans (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jul. 31, 2025
Jul. 31, 2024
Jul. 31, 2025
Jul. 31, 2024
Retirement Benefits [Abstract]        
Contributions $ 3.7 $ 1.1 $ 6.0 $ 3.7