check_eps ("erfc (2.0) == 0.0046777349...", FUNC(erfc) (2.0), 0.0046777349810472658379L, CHOOSE (0, 9e-19, 0)); check_eps ("erfc (4.1) == 6.70002...*10^-9", FUNC(erfc) (4.1), 0.67000276540848983727e-8L, CHOOSE (0, 2e-23, 6e-15)); check ("erfc (9) == 4.13703...*10^-37", FUNC(erfc) (9), 0.41370317465138102381e-36L);
erfc_test (void){  errno = 0;  FUNC(erfc) (0);  if (errno == ENOSYS)    /* Function not implemented.  */    return;  check ("erfc (+inf) == 0", FUNC(erfc) (plus_infty), 0.0);  check ("erfc (-inf) == 2", FUNC(erfc) (minus_infty), 2.0);  check ("erfc (+0) == 1", FUNC(erfc) (0.0), 1.0);  check ("erfc (-0) == 1", FUNC(erfc) (minus_zero), 1.0);  check_eps ("erfc (0.7) == 0.3221988061...", FUNC(erfc) (0.7),	     0.32219880616258152702L, CHOOSE (0, 6e-17, 0));  check_eps ("erfc (1.2) == 0.0896860218...", FUNC(erfc) (1.2),	     0.089686021770364619762L, CHOOSE (0, 0, 8e-9));}