#include <gmpfrxx.h>
Definition at line 1796 of file gmpfrxx.h.
Definition at line 1798 of file gmpfrxx.h.