Update bitint.cpp