Fix in big_integer.cpp