Where is the definition of "GMP_RND_MAX"？

[Zimmermann Paul]

> Date: Mon, 21 Nov 2011 11:05:45 +0800
> From: =?UTF-8?B?5YiY6Ieq5oGS?= <njucslzh0714 at gmail.com>
> 
> Hello,
>       I cannot find the definition of "GMP_RND_MAX". The GMP version is
> 5.0.2. When I compiled another tool named APRON such
> an error was emitted. Hope you can help me.
> 
> Best Wishes.
> 
> Henry.

yes we can: gmplib.org/list-archives/gmp-discuss/2011-September/004725.html

Paul Zimmermann