Update integer.reds

int/value