Fix name of BigIntTest