add ConstantIntegerInfo