Elias encoding and decoding.