On Thu, 5 May 2011, Torbjorn Granlund wrote: > Now I could reproduce it also on shell, using GMP_CHECK_RANDOMIZE. Ah, I didn't even suspect the seeding as the cause for this difference of behavior. Thanks for the tip, I'll try and remember it next time. -- Marc Glisse