fix test_arit.py test: (k**x).is_nonnegative is True (not None) if k
nonnegative integer and x real.