A positive integer that is not prime.