Financial Instruments - Schedule of marketable securities (Details) - USD ($) $ in Millions	3 Months Ended
Apr. 30, 2023	Apr. 30, 2022
Investments, Debt and Equity Securities [Abstract]
Marketable debt securities	$ 163	$ 202

The cash inflow associated with the aggregate amount received by the entity through sale or maturity of marketable securities (held-to-maturity or available-for-sale) during the period.

No definition available.

Name:	us-gaap_ProceedsFromSaleAndMaturityOfMarketableSecurities
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration