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