Returns a human understandable name.
@override String toStringShort() { var header = super.toStringShort(); if (_hasOverflow) header += ' OVERFLOWING'; return header; }