Class UpdateIntegerConstantTypeVisitor