positive nonzero check