pgtk_is_numeric_char 1866 src/pgtkfns.c  	  else if (pgtk_is_numeric_char (c))
pgtk_is_numeric_char 1893 src/pgtkfns.c        else if (pgtk_is_numeric_char (c))