added eval procedure for binomial systems with double double coefficients