File Explorer

/proc/thread-self/root/proc/self/root/proc/thread-self/root/usr/share/awk

This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.

have_mpfr.awk221 B · 10 lines
# 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)))))}