"Joe Conway" <joseph.conway@home.com> writes:
> Looks like plain old C library random numbers. If you want to use
> /dev/random or /dev/urandom, best bet would be to write your own C function.
> You should also check through the contrib stuff -- I don't recall seeing RNG
> functions in there,
I don't see any in there either, but this seems like a fine candidate for
a contrib item. I doubt we'd accept it into the mainstream for lack of
portability, but as a contrib item, why not?
regards, tom lane