Little progress on BigInteger