Revert "Stronger division. Roberto Bagnara."
Revert "Stronger division. Roberto Bagnara."

This reverts commit d1774fc130c0d3fdf1d416a30f9e2fb3965abf3a.

This propagation is wrong.

mndrix/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel