//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); }