Hello,

Playing with my game (see my previous post), I saw that it seems that
the random number generator in not portable ... The same seed will not
give the same random sequence on a 32 bits and 64 bits machine ...

If you use Random.int, this seems normal ...

But if you use only Random.float or other functions consuming the same
number of bits, this
is not what I expected ....

What do other people think ? Is this a sort of bug ?

Cheers,
Chrisophe