Ну, все уже давно привыкли во всех языках, что "сдвиг - это сдвиг": освобожденное место заполняется 0-ми без вариантов. Собственно, сдвиг и используется как битовая операция, а не математическая, эквивалентная делению знакового числа на 2.
Это уже компиляторы, если захотят, могут реализовать целочисленное деление на 2 как правый арифметический сдвиг.