isl_tab_pip.c: sol_for_add: correctly set denominator