FLINT3.7.0-dev

NFLOAT_RND_FLOOR, NFLOAT_RND_CEIL

Synopsis#include <flint/nfloat.h>
NFLOAT_RND_FLOORsource
NFLOAT_RND_CEILsource

Enable directed rounding toward -\infty or +\infty (experimental). At most one of them may be set. Without either, results are rounded in an unspecified direction, usually toward zero. Directed rounding may not work correctly together with NFLOAT_ALLOW_UNDERFLOW. Which operations respect it is listed in Rounding in nfloat.

Guides#

Cite this page

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