What are the differences between the different random number generators in gnubg? Presumably the fact that there are more than one indicates that none of them are truly random? Playing the game certainly gives me the impression that they are far from perfect!