getprec
return getprec(t1) >= getprec(t2);
n = getprec(argv[2]);
prec = getprec(argv[1]);
static int getprec(char *);