public void visitDMUL(DMUL obj)					{ pushValue(Type.DOUBLE); }
public void visitDMUL(DMUL obj)					{ consumeStack(obj); pushValue(Type.DOUBLE); }
	public void visitDMUL(DMUL obj)					{ pushValue(Type.DOUBLE); }