Problems with the random number generator RANF implemented on the CDC cyber 205