Use a taus88 generator and small int distribution