augment test case support; fix a BigInteger bug