Seems to be a variation on CRC-64-ECMA. This python version is of course very slow. That should not be a big issue however, since it is only required for serialising rather small save game data.