Fix error when gmp_export produce a binary representation whose size is < 256 bits