fix ashr when high bits are exactly 0