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