Update JEPbignum.cpp