public void visitFDIV(FDIV obj)					{ pushValue(Type.FLOAT); }
public void visitFDIV(FDIV obj)					{ consumeStack(obj); pushValue(Type.FLOAT); }
	public void visitFDIV(FDIV obj)					{ pushValue(Type.FLOAT); }