/* Analyze the decimal part of a real number.  */
static char* fraqValue(char *ptr)
/* Analyze the decimal part of a real number.  */
static char* fraqValue(char *ptr)
{
    if (!isdigit((int)(*ptr)))
        return 0;
    ptr = goNum(++ptr);
    if (!ptr)
        return 0;
    return ptr;
}