Did you not see my reply? I verified that I can reproduce the rounding problem in older GMP. I am sorry if fixing this bug in GMP 4.2 caused problems in a program that apparently relied on the buggy behaviour. To state it again: GMP 4.2 is right. Older GMP were wrong. -- Torbjörn