Financial Instruments - Schedule of marketable securities (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Oct. 31, 2023	Oct. 31, 2022	Oct. 31, 2023	Oct. 31, 2022
Investments, Debt and Equity Securities [Abstract]
Marketable debt securities	$ 190	$ 57	$ 529	$ 302

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