integer ^ rational