changes to integer.h