да действительно до байта с $20 нули необязательно ставить, результат один и тот же. По алгоритму это просто одно большое 128 байтное число.
И что такое GMP?
Это просто другая библиотека для работы с этими числами? Я на их сайте
http://gmplib.org/ нашел только исходники под С.