We are missing the operation `right_shift_arithmetic` that differs from `bitwise_right_shift` because it preserves the sign bit. https://en.wikipedia.org/wiki/Arithmetic_shift 
We are missing the operation
right_shift_arithmeticthat differs frombitwise_right_shiftbecause it preserves the sign bit.https://en.wikipedia.org/wiki/Arithmetic_shift