printf (" Value: %.20" PRINTF_EXPR "\n", value); noErrors++;
printf (" Value: % .20" PRINTF_EXPR "  % .20" PRINTF_XEXPR "\n", value, value); ++noErrors;
output_isvalue (const char *test_name, int result,		MATHTYPE value){  if (result)    {      output_pass_value ();    }  else    {      output_fail_value (test_name);      if (verbose > 1)	printf (" Value: %.20" PRINTF_EXPR "\n", value);      noErrors++;    }  fpstack_test (test_name);}