Fix randInt to use python's randint properly