Create exp-integer.h