Why not just refer to how we do delta encoding of ints here?