add missing test case for big-integer.c