Added BigInteger encoding.