fpu_precision
u_int fpu_precision(u_int, u_int, u_int);
tmax = fpu_precision(t1, t2, td);
tmax = fpu_precision(t1, t2, td);
tmax = fpu_precision(t1, t2, td);
tmax = fpu_precision(t1, t2, IGNORE_PRECISION);
tmax = fpu_precision(t1, t2, td);
tmax = fpu_precision(t1, t2, td);
tmax = fpu_precision(IGNORE_PRECISION, t2, td);
tmax = fpu_precision(t1, t2, td);
tmax = fpu_precision(t1, t2, td);
tmax = fpu_precision(t1, t2, IGNORE_PRECISION);
tmax = fpu_precision(t1, t2, td);
tmax = fpu_precision(IGNORE_PRECISION, t2, td);