private static void ExtractText(CNumber obj, StringBuilder target) { /* nothing */ }
private static void Write(CNumber obj) { Console.Write("num:{0}", obj.ToString()); }