New random number generator just dropped.