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-11-02).