DP div now working for 32-bit kernels