lexicographic-integer-encoding