FLINT3.7.0-dev

ARF_PREC_EXACT

Synopsis#include <flint/arf.h>
ARF_PREC_EXACTsource

A precision (WORD_MAX) meaning that no rounding takes place. It may only be passed to operations whose exact result is a dyadic number, such as addition, multiplication and conversion from integers, and only when that result fits in memory: adding 1 and 2^{-10^{12}} exactly needs 10^{12} bits. If in doubt, use a large finite precision and check the inexact flag instead.

Guides#

Cite this page

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