What pseuorandom number generator does Amazon Redshift use for RANDOM?

The documentation for Amazon Redshift's RANDOM function does not indicate which pseudorandom number generator is used.

The documentation for Amazon Redshift's SET function indicates the ability to set a seed between 0 and 1, which is multiplied by 2^(31)-1.

While this helps verify the precision of values for the output (already known to be DOUBLE PRECISION by the RANDOM function documentation), I have been unable to locate anywhere in the documentation nor an online search precisely which pseudorandom number generator is being used.