Ensure double encoding / packing yields the same result