This reverts commit 1b9d0deb. Reverting since the signature of the called division functions is not correct.