Leases - Additional Information (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Oct. 31, 2023	Oct. 31, 2022	Oct. 31, 2023	Oct. 31, 2022
Leases [Line Items]
Operating lease expense	$ 4	$ 4	$ 12	$ 12
Maximum
Leases [Line Items]
Operating leases, options to extend leases term	9 years		9 years
Finance leases, options to extend leases term	9 years		9 years