case '+': // plus equal
push(new PlusOperator(unboxedVariableTypeId,
unboxedValueTypeId, unboxedResultTypeId, fCounter));
break;
case '-': // minus equal
push(new MinusOperator(unboxedVariableTypeId,
unboxedValueTypeId, unboxedResultTypeId, fCounter));
break;
case '*': // multiply equal
push(new MultiplyOperator(unboxedVariableTypeId,
unboxedValueTypeId, unboxedResultTypeId, fCounter));