How about just `(fmap inc pos-int)`?