sval_to_numstr
right_name, sval_to_numstr(sval), sval_to_numstr(max), left_name);
const char *sval_to_numstr(sval_t sval);
snprintf(tmp, 25, "%s", sval_to_numstr(sval));
snprintf(tmp, 25, "%s", sval_to_numstr(sval));