isl_range.c: bound2poly: extract out signed_infty