#include <gmpfrxx.h>
Definition at line 1822 of file gmpfrxx.h.
Definition at line 1824 of file gmpfrxx.h.