bugfix for dot,bigdot with int arrays