PostgreSQL - Como seria esta rutina en Postgres ?

Como seria esta rutina en Postgres ?

FOR I IN 1..19
LOOP
IF I > 11 THEN
J := J+1;
total[J] := TO_NUMBER(SUBSTR(X_Rif,I,1)) * valor[J];
END IF;
END LOOP;

Total[9] := Valor[9] * Valor;

FOR I IN 1..9
LOOP
Total := Total + Total[I];
END LOOP;

Dividendo := FLOOR(Total/11);

Resto := Total - (Dividendo * 11);

IF Resto > 1 THEN
Digito := 11 - Resto;
ELSE
Digito := 0;
END IF;