Correctly naming signed right shift operator