Bug: ex(numeric(0)).series(x==0,2).is_zero() returns incorrectly 0