Revert "div"

This reverts commit 90c8683d17bdee96386386939d902db60b67bd3e.