Symbol: fold_constant_integer