Retirement Plan (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
	Jul. 31, 2023	Jul. 31, 2023
Defined Benefit Plan Disclosure [Line Items]
Contributed to plan	$ 0.2	$ 0.3