public override string ToString() { return "{0},{1},{2},{3}".format( tos(Left), tos(Top), tos(Right), tos(Bottom)); }