This is nasty. Is the data type of the random array to blame? I'd like to get to the bottom of this problem rather than workaround it. Are you keen?