We will sketch first results about extending our abstract domain for values of program variables, 
from zonotopes (particular central symmetric polytopes) to ellipsoids and super-ellipsoids. The nice feature
is that this extension basically relies on a simple change of norm.