rng : finally fix von neumann