Напрямую нельзя поставить проверку двух переменных. Потому что для каждого типа проверок переменных есть свои опкоды. Обойти ошибку можно двумя методами.
1. Использовать конструкцию VAR...END. Таким образом ты указываешь компилятору, что переменная 0@ - целое число, а переменная 1@ - дробное. В соответствии с этим, компилятор подставит верный опкод.
VAR
0@ : Integer
1@ : Float
END
2. Использовать соответствующий опкод напрямую.