Fixes in big_integer.cpp & .h