/* Last edited on 2006-11-22 21:04:33 by stolfi */

    hugeval = (int)(((unsigned int)(-1)) >> 1);
    /* fprintf(stderr, "hugeval = %d", hugeval); */
    if ((hugeval/maxval3 < maxval3) && ((o->function == '*') || (function == '/')))
      { pnm_message("warning: maxval too large, overflow may occur"); }