I dunno what to consider GTA Miami... it's not really 3.5, but it's not 4
It's liiike... on PC, there was GTA1... then this GTA London thing.... then GTA2... or maybe it was GTA1, GTA2, then GTA London, I dunno, but either way the London game was never counted as a number game... but it was still a GTA game
So I'm guessing it'd be like that..... whatever that may be considered
