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

Change-Id: I2ddc2e39a69c0ce3271f7ff907d63fc66eaeaf0f