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