Написал процедуру сокращения А и Б до взаимно простых, надо найти ошибку

procedure Shorten(var a: biginteger; var b: biginteger);
var
  IsShort: boolean := False;
  i: biginteger := 2;
  zero: biginteger :=0;
begin
  while i<b do
  begin
    if (a mod i = zero) and (b mod i = zero) then
    begin
      a:=a div i;
      b:=a div i;
      IsShort:=True;
      break;
    end;
  i+=1;
  end;
  if IsShort then Shorten(a,b);
end;

program ShortenNumbers;
 
var
  a1, b1: real; 
 
procedure Shorten(a, b: integer);
var   
  c: integer;
begin
  repeat
    if a > b then
      a := a mod b
    else
      b := b mod a;
  until (a = 0) or (b = 0);
  c := a + b;       // с - наибольший общий делитель a и b
  
  a1 := a1 / c;
  b1 := b1 / c;
end;
 
begin
Write('Введите 1 число: '); ReadLn (a1);
Write('Введите 2 число: '); ReadLn (b1);
  Shorten(round(a1), round(b1));
  Write(a1, ' ', b1);
end.

procedure Shorten(var a: biginteger; var b: biginteger);
 
var
  zero: biginteger := 0;
  
  function GCD(vA: biginteger; vB: biginteger): biginteger;
  begin
    while (va <> zero) and (vb <> zero) do
      if va >= vb then
        va := va mod vb
      else
        vb := vb mod va;
    result := va + vb;
  end;
 
begin
  var divisor: biginteger := GCD(a, b);
  a := a div divisor; b := b div divisor;
end;