Informal term for a European central bank digital currency.