I don’t see the current api supporting submitting Int64 scores even though their leaderboards apparently support such maximum values. I only see support for Int type (32-bit integer), ie GKLeaderboardScore.value (https://developer.apple.com/documentation/gamekit/gkleaderboardscore)