Doxyfy numeric.h and s_err.c, getting rid of the unused err_str() and