DP div now completely working for 32-bit kernels