Add "numeric-increment" and "numeric-decrement", and deprecate "auto-increment" and "auto-decrement"