Remove virtual from BoostBasedVM::newBigInt, it should not be overridden.