RationalFraction^RationalFraction now working.
Only problem is we need IrrationalFraction and such working now.