Problema al validar enteros

[ioco]

Gracias por el apunte sobre el integer, fallo mío a la hora de consultar mis notas sobre los tipos.

Perdón por no haber dejado claro el fallo. Lo que sucede es que cuando ejecuto el programa principal, cuando el usuario ingresa un número mayor que el máximo de un integer no sale del repeat a pesar de que los tipos utilizados son Int64 (ya los he cambiado) y si no voy mal deberían de poder admitir un número mayor.

¿Quizá sea porque el procedure Val no admite int64?

Aunque de lo siguiente (extraído del help de delphi), entiendo que sí ya que Int64 es un tipo de dato entero ¿no?

procedure Val(S; var V; var Code: Integer);

(...)V is an integer-type or real-type variable.(...)