Financial Instruments - Schedule of marketable securities (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Oct. 31, 2024	Oct. 31, 2023	Oct. 31, 2024	Oct. 31, 2023
Investments, All Other Investments [Abstract]
Marketable debt securities	$ 168	$ 190	$ 690	$ 529

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