Changes for Int2Type