ADDED: rounding (-> +inf) right-shift