Correcting ldexp

frexp still failed a test. In fact it is the test that verified that if
m = frexp(a,e)
 then  a was equal to ldexp(m,e)
and this test failed in the case e was Limiteexponent (in fact the case related to a = Valmax)

This is corrected in this pull request.