Antidivisors (rebase of #7863)