Update Integer.h