numeric version number