import PolarSSL 1.2.6's bignum