int random should use RNG