Nonzero natural roots of nonnegative real numbers

[lowasser]

As promised, we combine square roots and odd roots to make arbitrary natural roots, which will allow us to define arbitrary rational roots.