basis_reduction.c: isl_Polyhedron_Reduced_Basis: use isl_val