need a purely numeric version number