XML 58 R49.htm IDEA: XBRL DOCUMENT
v3.23.2

Financial Instruments - Schedule of marketable securities (Details) - USD ($) $ in Millions | 3 Months Ended | 6 Months Ended
--- | --- | ---
Jul. 31, 2023 | Jul. 31, 2022 | Jul. 31, 2023 | Jul. 31, 2022
Investments, Debt and Equity Securities [Abstract] |  |  |  |
Marketable debt securities | $ 176 | $ 43 | $ 339 | $ 245

X
- References No definition available. + Details
Name: | us-gaap_InvestmentsDebtAndEquitySecuritiesAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition 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. + References No definition available. + Details
Name: | us-gaap_ProceedsFromSaleAndMaturityOfMarketableSecurities
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration