integrated sfmt random number generator