Speed improvement for 128-bit integers

Try to use 64-bit division (x2/ instead of x/) instead of 128-bit division.