fold_constant_integer
ntn = fold_constant_integer(ntn);
prod = fold_constant_integer(prod);
raw_diff = fold_constant_integer(raw_diff);
rn = fold_constant_integer(rn);
ntn = fold_constant_integer(ntn);