Reducing from 64 bit div to 32 bit div