Re: Fix old bug in div_and_round_double

[Eric Botcazou]

> Well, a wrong-code bug plus a very obvious fix certainly qualifies.

Fine with me, onto which branch(es) do you want me to put it?

-- 
Eric Botcazou