Reverted to sane coding of randInt()