Comment 16 for bug 1811030

The problems of the other bug report(s) are unrelated to this bug I think. Of course it can be that there are still other floating point numbers around somewhere. Regarding this bug (or at least its savegame) I think it is AI related, though. Replacing the AI with a human player or using my branch (where the AI is no longer using logic_rand()) both allows to continue playing the savegame.

Hm, okay, thanks. Maybe the AI haven't used ships anyway or you just got lucky with the random numbers. Or I am simply wrong, might be as well.