Генерировать случайное количество не дублированных случайное число в [0, 1001] через цикл

Мне нужно сгенерировать случайное число из не дублированных случайных чисел в plpgsql. Не дублированное число sh все попадают в диапазон [1,1001]. Однако код генерирует число, превышающее 1001.

directed2number := trunc(Random()*7+1);
counter := directed2number
while counter > 0
loop
to_point := trunc((random() * 1/directed2number - counter/directed2number + 1) * 1001 +1);
...
...
counter := counter - 1;
end loop;