Use a better signed integer encoding.