POLYINT: run rmdups only once