nonnegative integer ^ rational