Update exp-integer.cpp