On Mon, 13 Apr 2015, Vincent Lefevre wrote: > I agree, though I really think that mpf_eq should be properly > specified. And how about saying that this function is obsolete > and planning to remove it in the future? Doesn't the manual already say that the whole mpf is obsolete? -- Marc Glisse