Extend BoundedRational and UnifiedReal and fix pow(), exp() am: f74f2b5e39
am: 4399971fd5

Change-Id: I88ee6f3a19ff25abf41706710d4a0389da4c21f6