Just off the top of my head, you could include a parameter in the Random class constructor which would default to the platform-specific generator but could be set to a platform-independent algorithm or perhaps a choice of such algorithms.
These algorithms would still produce a different sequence of ‘random’ numbers on each run unless you set the seed (another optional constructor parameter and/or a separate property) to some constant value.