finally handling inc/dec correctly as <alt-a>, <alt-x>