Emacs number manipulation