Add more integer encoding tests