FLINT3.7.0-dev

arf_get_d

Synopsis#include <flint/arf.h>
double arf_get_d(const arf_t x, arf_rnd_t rnd)source

Returns x rounded to a double in the direction rnd, with correct rounding also on overflow (to the largest finite double or to \pm\infty, depending on the direction) and on underflow (to zero or the smallest subnormal).

Guides#

Cite this page

The FLINT team, “arf_get_d (arf.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arf/arf_get_d.html (generated 2026-10-20).