Revert "div"

This reverts commit bb84d31cda0449995ce7a720a40c370be2b743e2.