zigzag signed integer encoding and decoding