public void visitFADD(FADD obj)					{ pushValue(Type.FLOAT); }
public void visitFADD(FADD obj)					{ consumeStack(obj); pushValue(Type.FLOAT); }
	public void visitFADD(FADD obj)					{ pushValue(Type.FLOAT); }