#include <gmpfrxx.h>
Definition at line 1785 of file gmpfrxx.h.
Definition at line 1787 of file gmpfrxx.h.