isl_basic_map_solve_lp: use denominator