a random number may be positive