Why doesn't this use `int.to_bytes` and `int.from_bytes` on py3k?