modified window-numbering-get-number-string to return " |x| " instead
of x