Update Int.h