Update Integers.h