Better implementation of probability of nonexceedance