pgtk_is_numeric_char 1859 src/pgtkfns.c  	  else if (pgtk_is_numeric_char (c))
pgtk_is_numeric_char 1886 src/pgtkfns.c        else if (pgtk_is_numeric_char (c))