//depth field is a stub for future extension
 private static string getVersionString(Version v, bool double00 = false, int depth = 3)
 {
     if (double00)
         return v.ToStringDouble00();
     else
         return v.ToString(depth);
 }