Debugging of the numerical precision bug is under way

In this commit the random generator is seeded with such a string
that the bug manifests itself. Not usable for production.