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

Change-Id: I8b3631fbf2355a63ca789316240e2274728b5597