isl_ast_build_scale_down: use isl_val