Написать программу,которая по заданным значениям чисел а и b находит а. В запросе укажите допустимые значения этих переменных (если а-дробное,то b не может быть отрицательным) — Pascal(Паскаль)

uses crt;
var a,b,p:real;
begin
clrscr;
repeat
writeln('Введите числа a,b если а дробное, то b неотрицательное:');;
readln(a,b);
if (frac(a)<>0) and(b<0) then writeln('Неверно, повторите ввoд!');
until (frac(a)=0)or((frac(a)<>0) and(b>=0));
p:=a*b;
write('Произведение ab=',p:0:5);
readln
end.