Extend BoundedRational and UnifiedReal and fix pow(), exp() am: f74f2b5e39 Change-Id: I2ddc2e39a69c0ce3271f7ff907d63fc66eaeaf0f