В процедуре Int2Rome цикл for по i должен быть от 1 до 4 или от 0 до 3, а не от 1 до 3, иначе максимально возможное конвертируемое число будет не 8999 а 1000. Просьба исправить :)