Yes, I'll add comments. So the issue is `pow` defined in `rational.h` is defined in only cases of `Integer` exponent. It gives a runtime unimplemented error in case of Rational exp