use proper 64bit casting for pointer-math