Gecode Arithmetic constraints