Summary of Significant Accounting Policies, Transaction Fees (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
	Jul. 31, 2022	Jul. 31, 2023	Jul. 31, 2022
General and Administrative Expenses
Related Party Transaction [Line Items]
Professional and other transaction fees	$ 2.4	$ 1.5	$ 3.2