Update exp-integer.h