CVS revision numbers, stored as `cvs2svn:cvs-rev' properties, are a