The RadicalCategory is a model for the rational numbers.
x ^ y is the rational exponentiation of x by the power y.
nthRoot(x, n) returns the nth root of x.
sqrt(x) returns the square root of x. The branch cut lies along the negative real axis, continuous with quadrant II.