fix RandomNumberGenerator concept