> PS It builds without error against GMP 3.x, but I have not tested the > result. Is GMP 3.x okay, or should I require GMP 2.x (>= 2.0.2) Henry, would you please respond to this question from Barak.