Some function to manipulate negabinary