Add random.int.