making scorec numberings fully 64-bit