Investments - Maturities of Available-for-sale and Held-to-maturity Securities (Details) $ in Millions	May 07, 2023 USD ($)
Available-for-sale, Cost Basis
Due in one year or less	$ 126
Due after one year through five years	324
Due after five years	152
Available-for-sale, cost basis, total	602
Available-for-sale, Fair Value
Due in one year or less	125
Due after one year through five years	324
Due after five years	151
Available-for-sale, recorded basis, total	600
Held-to-maturity
Due in one year or less	615
Due after one year through five years	0
Due after five years	0
Held-to-maturity, cost basis, total	$ 615