Rename Integer to Integer.h