Exception
const BadNumberFormatException(String this._s);
String toString() => "BadNumberFormatException: '$_s'";