Modifies the algorithms of the real pow functions and the real root functions to correctly manage rounding modes with libm; updates some tests of the pow function, replacing equality tests by inclusion tests