Update bingint.cpp