1#@!#!123s

D7net

Path : /lib64/../share/python3/../menu/../python3/../python3/../awk/

Filename : have_mpfr.awk

# adequate_math_precision --- return true if we have enough bits
#
# Andrew Schorr, aschorr@telemetry-investments.com, Public Domain
# May 2017

function adequate_math_precision(n)
{
    return (1 != (1+(1/(2^(n-1)))))
}