fix bitshift64Ashr bug