@override Value cast(ValueType newType) { if (newType == valueType) { return this; } throw badCaseException(newType); }