something is strange about chibi's arithmetic-shift