optimize bitshift64* a little