JavaScript seedable random number generation tools.