Financial Instruments - Schedule of marketable securities (Details) - USD ($) $ in Millions	3 Months Ended
Apr. 30, 2024	Apr. 30, 2023
Investments, All Other Investments [Abstract]
Marketable debt securities	$ 262	$ 163

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