Zimmermann Paul <Paul.Zimmermann at inria.fr> writes: indeed this is inconsistent. mpf_fits_uint_p(-0.5) should return true, as well as mpf_fits_uint_p(-0.99999999999). I am not so sure that would be the right fix here. -- Torbjörn