An integer added