dt_version_num2str
dt_version_num2str(v, s, sizeof (s)));
extern char *dt_version_num2str(dt_version_t, char *, size_t);