add isl_qpolynomial_fold_scale_down_val