@Override public E evaluate(Valuation values) { E num = negated.evaluate(values); NumericType<E> type = (NumericType<E>) getType(); return type.negate(num); }