Add ToInt64 and ToInt64E so that we can explicitly get a int64 rather
than rely on int being 64 bit (since the only guarantee is that int is
either 32 bit or 64 bit).