Informal term for a US central bank digital currency.