Fixed a bug that variable encoding doesn't work for ints that use all 64 bits.
Merge pull request #88 from amplab/varenc

Fixed a bug that variable encoding doesn't work for ints that use all 64 bits.